- all_different(?)
- No description available
- all_disjoint(?)
- No description available
- array_bool_and(?, ?)
- No description available
- array_bool_element(?, ?, ?)
- No description available
- array_bool_or(?, ?)
- No description available
- array_int_element(?, ?, ?)
- No description available
- array_var_bool_element(?, ?, ?)
- No description available
- array_var_int_element(?, ?, ?)
- No description available
- at_least(?, ?, ?)
- No description available
- at_most(?, ?, ?)
- No description available
- bool2int(?, ?)
- No description available
- bool_and(?, ?, ?)
- No description available
- bool_declare(?)
- No description available
- bool_declare_array(?)
- No description available
- bool_eq(?, ?)
- No description available
- bool_eq_reif(?, ?, ?)
- No description available
- bool_fzn_to_solver(?, ?)
- No description available
- bool_ge(?, ?)
- No description available
- bool_ge_reif(?, ?, ?)
- No description available
- bool_gt(?, ?)
- No description available
- bool_gt_reif(?, ?, ?)
- No description available
- bool_le(?, ?)
- No description available
- bool_le_reif(?, ?, ?)
- No description available
- bool_left_imp(?, ?, ?)
- No description available
- bool_lt(?, ?)
- No description available
- bool_lt_reif(?, ?, ?)
- No description available
- bool_ne(?, ?)
- No description available
- bool_ne_reif(?, ?, ?)
- No description available
- bool_not(?, ?)
- No description available
- bool_or(?, ?, ?)
- No description available
- bool_right_imp(?, ?, ?)
- No description available
- bool_solver_to_fzn(?, ?)
- No description available
- bool_xor(?, ?, ?)
- No description available
- count(?, ?, ?)
- No description available
- exactly(?, ?, ?)
- No description available
- float_solver_to_fzn(?, ?)
- No description available
- int_abs(?, ?)
- No description available
- int_declare(?)
- 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_declare_array(?, ?, ?)
- No description available
- int_div(?, ?, ?)
- No description available
- int_eq(?, ?)
- No description available
- int_eq_reif(?, ?, ?)
- No description available
- int_ge(?, ?)
- No description available
- int_ge_reif(?, ?, ?)
- No description available
- int_gt(?, ?)
- No description available
- int_gt_reif(?, ?, ?)
- No description available
- int_le(?, ?)
- No description available
- int_le_reif(?, ?, ?)
- No description available
- int_lin_eq(?, ?, ?)
- No description available
- int_lin_eq_reif(?, ?, ?, ?)
- No description available
- int_lin_ge(?, ?, ?)
- No description available
- int_lin_ge_reif(?, ?, ?, ?)
- No description available
- int_lin_gt(?, ?, ?)
- No description available
- int_lin_gt_reif(?, ?, ?, ?)
- No description available
- int_lin_le(?, ?, ?)
- No description available
- int_lin_le_reif(?, ?, ?, ?)
- No description available
- int_lin_lt(?, ?, ?)
- No description available
- int_lin_lt_reif(?, ?, ?, ?)
- No description available
- int_lin_ne(?, ?, ?)
- No description available
- int_lin_ne_reif(?, ?, ?, ?)
- No description available
- int_lt(?, ?)
- No description available
- int_lt_reif(?, ?, ?)
- No description available
- int_max(?, ?, ?)
- No description available
- int_min(?, ?, ?)
- No description available
- int_minus(?, ?, ?)
- No description available
- int_mod(?, ?, ?)
- No description available
- int_ne(?, ?)
- No description available
- int_ne_reif(?, ?, ?)
- No description available
- int_negate(?, ?)
- No description available
- int_plus(?, ?, ?)
- No description available
- int_times(?, ?, ?)
- No description available
- link_set_to_booleans(?, ?)
- No description available
- maximize(?, ?, ?)
- No description available
- minimize(?, ?, ?)
- No description available
- range_fzn_to_solver(?, ?, ?)
- No description available
- satisfy(?)
- No description available
- set_card(?, ?)
- No description available
- set_declare(?, ?)
- No description available
- set_declare(?, ?, ?)
- No description available
- set_declare_array(?, ?)
- No description available
- set_declare_array(?, ?, ?)
- No description available
- set_diff(?, ?, ?)
- No description available
- set_eq(?, ?)
- No description available
- set_fzn_to_solver(?, ?)
- No description available
- set_in(?, ?)
- No description available
- set_in_reif(?, ?, ?)
- No description available
- set_intersect(?, ?, ?)
- No description available
- set_solver_to_fzn(?, ?)
- No description available
- set_subset(?, ?)
- No description available
- set_symdiff(?, ?, ?)
- No description available
- set_union(?, ?, ?)
- No description available
- sort(?, ?)
- No description available
- reexport cumulative / 4 from edge_finder
- reexport disjoint / 2 from fd_sets
This mapping supports bool, integer and set variables. It does currently not support all constraints in reified form, in particular set constraints, according to the limitations of the underlying solvers.