search

WatForm / fortress

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

StandardModelFinder tries to count models with unbounded sorts #118

Open nancyday opened 4 months ago

nancyday commented 4 months ago