Use SMT solvers to solve linear systems over integers and rationals
[email protected] low health (38/100) — consider alternatives
Get this data programmatically — free, no authentication.
curl https://depscope.dev/api/check/hackage/linearEqSolverLast updated · 2024-12-23T16:07:43.519387628Z