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