CPSolver.Variable.View.Factory (Fixpoint v0.8.5)
Summary
Functions
Link to this function
linear(var, coefficient, offset)
Link to this function
minus(var)
Link to this function