Write tests for MaxUnboundedScopesTransformer and remove its print statements

WatForm / fortress

Fortress: Finite Model Finder for Many-Sorted First-Order Logic

MIT License

5 stars 0 forks source link

Closed nancyday closed 3 months ago

nancyday commented 3 months ago