Issue/107 - Githubissues

WatForm / fortress

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

MIT License

5 stars 0 forks source link

Closed otzzila closed 2 months ago

otzzila commented 2 months ago

Fixes WatForm/fortress#107

We now use regex to parse set-info keywords for scopes, which should be more robust.
If the scope information is not parsed properly, a ParserError is thrown.
Added documentation in UserGuide.md