@hackage sop-satisfier0.3.4.5

Check satisfiability of expressions on natural numbers

Categories
License
BSD-2-Clause
Maintainer
QBayLogic B.V. <devops@qbaylogic.com>
Links
Versions
- 0.3.4.5 Sat, 7 Jun 2025

Installation
In your cabal file:
Tested Compilers
Dependencies (3)
- base >=4.13 && <5
- containers >=0.6.2.1 && <0.8
- transformers >=0.5 && <0.7
Dependents (0)

Expression satisfier on natural numbers. . It can reason about expressions contatining addition and multiplication. It also provides limited support of exponentiations and subtraction.

@hackage sop-satisfier0.3.4.5

Categories

License

Maintainer

Links

Versions

Installation

Tested Compilers

Dependencies (3)

Dependents (0)