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