Remove compiler warnings due to missing cases for transitive closure - Githubissues

WatForm / fortress

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

MIT License

5 stars 0 forks source link

Remove compiler warnings due to missing cases for transitive closure #105

Open nancyday opened 3 months ago