Module vars 

Structs

VarId

Decision variable handle that is not bound to a specific memory location.

VarIdBin

Wrapper to provide specific helper methods for binary decision variables.

Vars

Store decision variables and expose a limited interface to operate on them.

Enums

Val

Var

Domain for a decision variable