haskell-presburger
| Link | package | bugs open | bugs closed | Wiki | GitHub | web search |
| Description | A decision procedure for quantifier-free linear arithmetic |
| Version |
1.3.1-23 [extra-testing] 1.3.1-22 [extra] |
| Link | package | bugs open | bugs closed | Wiki | GitHub | web search |
| Description | A decision procedure for quantifier-free linear arithmetic |
| Version |
1.3.1-23 [extra-testing] 1.3.1-22 [extra] |