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

Summary

Functions

inc(var, c)

linear(var, coefficient, offset)

minus(var)

mul(var, coefficient)

negation(var)