search

endjin / Z3.Linq

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

Feature/big tuples #7

Closed HowardvanRooijen closed 2 years ago

HowardvanRooijen commented 2 years ago

Add support for ValueTuples that have 8+ values.