search

endjin / Z3.Linq

LINQ bindings for the Z3 theorem prover from Microsoft Research.
MIT License
37 stars 3 forks source link

Basics to get OrderBy working again #5

Closed bartdesmet closed 2 years ago