- bool2int(?, ?)
- No description available
- bool_declare(?)
- No description available
- bool_declare_array(?)
- No description available
- bool_eq(?, ?)
- No description available
- bool_fzn_to_solver(?, ?)
- No description available
- bool_ge(?, ?)
- No description available
- bool_le(?, ?)
- No description available
- bool_solver_to_fzn(?, ?)
- No description available
- float_declare(?)
- No description available
- float_declare(?, ?, ?)
- No description available
- float_declare_array(?)
- No description available
- float_declare_array(?, ?, ?)
- No description available
- float_eq(?, ?)
- No description available
- float_fzn_to_solver(?, ?)
- No description available
- float_ge(?, ?)
- No description available
- float_le(?, ?)
- No description available
- float_lin_eq(?, ?, ?)
- No description available
- float_lin_ge(?, ?, ?)
- No description available
- float_lin_le(?, ?, ?)
- No description available
- float_minus(?, ?, ?)
- No description available
- float_negate(?, ?)
- No description available
- float_plus(?, ?, ?)
- No description available
- float_solver_to_fzn(?, ?)
- No description available
- int2float(?, ?)
- No description available
- int_declare(?)
- No description available
- int_declare(?, ?, ?)
- No description available
- int_declare_array(?)
- No description available
- int_declare_array(?, ?, ?)
- No description available
- int_eq(?, ?)
- No description available
- int_ge(?, ?)
- No description available
- int_le(?, ?)
- No description available
- int_lin_eq(?, ?, ?)
- No description available
- int_lin_ge(?, ?, ?)
- No description available
- int_lin_le(?, ?, ?)
- No description available
- int_minus(?, ?, ?)
- No description available
- int_negate(?, ?)
- No description available
- int_plus(?, ?, ?)
- No description available
- maximize(?, ?, ?)
- No description available
- minimize(?, ?, ?)
- No description available
- range_fzn_to_solver(?, ?, ?)
- No description available
- satisfy(?)
- No description available
- set_fzn_to_solver(?, ?)
- No description available
- set_solver_to_fzn(?, ?)
- No description available
TODO: Add a mapping for sets as array of booleans. Add an appropriate globals.mzn.