LINQ bindings for the Z3 theorem prover from Microsoft Research.
Primary LanguageC#MIT LicenseMIT
No issues in this repository yet.