5 packages returned for Tags:"Z3"

Package type
Sort by
Options
LINQ bindings for Z3, a satisfiability modulo theories solver from Microsoft Research. Based on a proof of concept from Bart De Smet.