CPSolver.BooleanVariable (Fixpoint v0.10.2)

Summary

Functions

false?(var)

fixed?(var, val)

new(opts \\ [])

set_false(var)

set_true(var)

true?(var)