CPSolver.Variable.View.Factory (Fixpoint v0.8.5)

Summary

Functions

Link to this function

linear(var, coefficient, offset)

Link to this function

mul(var, coefficient)