endjin / Z3.Linq

LINQ bindings for the Z3 theorem prover from Microsoft Research.
37Updated 3 weeks ago

Related projects

Alternatives and complementary repositories for Z3.Linq