@hackage / linearEqSolver

Use SMT solvers to solve linear systems over integers and rationals

Latest2.4

Dependencies

library:linearEqSolver (2 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.9 && <5
- License: BSD-3-Clause
@hackage / sbv SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.
- Version: >=11.0
- License: BSD-3-Clause