SolverTypes.DemandEqIncrSolverBase
module S : ConstrSys.DemandEqConstrSys
The hash-map that is the first component of solve xs vs
is a local solution for interesting variables vs
, reached from starting values xs
. As a second component the solver returns data structures for incremental serialization.