search

endjin / Z3.Linq

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

Implement VisitParameter in ExpressionVisitor #3

Open HowardvanRooijen opened 2 years ago

HowardvanRooijen commented 2 years ago

Currently commented out. Needs refactoring.