Exhort.SAT.BoolVar (Exhort v0.1.1)
A boolean variable defined in the model.
Link to this section Summary
Link to this section Types
Link to this section Functions
Link to this function
new(name)
Define a new boolean variable. In the model, true and false are represented as 1 and 0, respectively.
name
- The variable name that may be referenced in other expressions.