returned for Tags:"Z3"
2,559 total downloads
A finite model checking framework for C# code
Z3 built from an arbitrary commit and packaged for dotnet.
This is a F# Z3 API wrapper
LINQ bindings for Z3, a satisfiability modulo theories solver from Microsoft Research. Based on a proof of concept from Bart De Smet.
Sample Theorems for Sudoku and River Crossing problems.