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

Summary

Functions

Link to this function

linear(var, coefficient, offset)