2 packages returned for Tags:"Smet"

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.