Command-line DIMACS interface solver.
This is the simplest solver to configure -- cmd is expected to
be a command on the environment path which accepts DIMACS input
and produces DIMACS output.
This solver lives in IO, since we need access to process invocation.
Equations
- One or more equations did not get rendered due to their size.