@hackage / linearEqSolver

Use SMT solvers to solve linear systems over integers and rationals

2.4

Version history