search

WatForm / fortress

Fortress: Finite Model Finder for Many-Sorted First-Order Logic
MIT License
5 stars 0 forks source link

Handle integer ops without reopening solver #149

Closed ryandancy closed 2 months ago

ryandancy commented 2 months ago

By @otzzila. Master is merged in and all tests are passing.