- 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_float_element(?, ?, ?)
- No description available
- array_int_element(?, ?, ?)
- No description available
- array_var_bool_element(?, ?, ?)
- No description available
- array_var_float_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_abs(?, ?)
- 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_div(?, ?, ?)
- No description available
- float_eq(?, ?)
- No description available
- float_eq_reif(?, ?, ?)
- No description available
- float_fzn_to_solver(?, ?)
- No description available
- float_ge(?, ?)
- No description available
- float_ge_reif(?, ?, ?)
- No description available
- float_gt(?, ?)
- No description available
- float_gt_reif(?, ?, ?)
- No description available
- float_le(?, ?)
- No description available
- float_le_reif(?, ?, ?)
- No description available
- float_lin_eq(?, ?, ?)
- No description available
- float_lin_eq_reif(?, ?, ?, ?)
- No description available
- float_lin_ge(?, ?, ?)
- No description available
- float_lin_ge_reif(?, ?, ?, ?)
- No description available
- float_lin_gt(?, ?, ?)
- No description available
- float_lin_gt_reif(?, ?, ?, ?)
- No description available
- float_lin_le(?, ?, ?)
- No description available
- float_lin_le_reif(?, ?, ?, ?)
- No description available
- float_lin_lt(?, ?, ?)
- No description available
- float_lin_lt_reif(?, ?, ?, ?)
- No description available
- float_lin_ne(?, ?, ?)
- No description available
- float_lin_ne_reif(?, ?, ?, ?)
- No description available
- float_lt(?, ?)
- No description available
- float_lt_reif(?, ?, ?)
- No description available
- float_max(?, ?, ?)
- No description available
- float_min(?, ?, ?)
- No description available
- float_minus(?, ?, ?)
- No description available
- float_ne(?, ?)
- No description available
- float_ne_reif(?, ?, ?)
- No description available
- float_negate(?, ?)
- No description available
- float_plus(?, ?, ?)
- No description available
- float_solver_to_fzn(?, ?)
- No description available
- float_times(?, ?, ?)
- No description available
- int2float(?, ?)
- 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
- maximum(?, ?)
- No description available
- minimize(?, ?, ?)
- No description available
- minimum(?, ?)
- 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 ic_edge_finder
- reexport disjoint / 2 from ic_sets
This mapping supports bool, integer, float 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.