9 packages returned for Tags:"smt"

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.