dekker.one / on-restart-benchmarks
This repository has no description
Star
Fork 0
Watch
on-restart-benchmarks software gecode test flatzinc
86 files
2dpacking.cpp
alpha.cpp
battleships1.cpp
battleships10.cpp
battleships2.cpp
battleships3.cpp
battleships4.cpp
battleships5.cpp
battleships7.cpp
battleships9.cpp
blocksworld_instance_1.cpp
blocksworld_instance_2.cpp
bool_clause.cpp
bug232.cpp
bug319.cpp
bugfix_r6746.cpp
bugfix_r7854.cpp
cumulatives.cpp
cutstock.cpp
empty_domain_1.cpp
empty_domain_2.cpp
eq20.cpp
factory_planning_instance.cpp
golomb.cpp
int_set_as_type1.cpp
int_set_as_type2.cpp
jobshop.cpp
jobshop2x2.cpp
knights.cpp
langford2.cpp
latin_squares_fd.cpp
magicsq_3.cpp
magicsq_4.cpp
magicsq_5.cpp
multidim_knapsack_simple.cpp
no_warn_empty_domain.cpp
oss.cpp
output_test.cpp
packing.cpp
perfsq.cpp
perfsq2.cpp
photo.cpp
product_fd.cpp
product_lp.cpp
quasigroup_qg5.cpp
queen_cp2.cpp
queen_ip.cpp
queens4.cpp
radiation.cpp
sat_arith1.cpp
sat_array_bool_and.cpp
sat_array_bool_or.cpp
sat_cmp_reif.cpp
sat_eq_reif.cpp
shared_array_element.cpp
simple_sat.cpp
singHoist2.cpp
steiner_triples.cpp
sudoku.cpp
template_design.cpp
tenpenki_1.cpp
tenpenki_2.cpp
tenpenki_3.cpp
tenpenki_4.cpp
tenpenki_5.cpp
tenpenki_6.cpp
test_approx_bnb.cpp
test_array_just_right.cpp
test_assigned_var_bounds_bad.cpp
test_flatzinc_output_anns.cpp
test_fzn_arith.cpp
test_fzn_arrays.cpp
test_fzn_coercions.cpp
test_fzn_comparison.cpp
test_fzn_logic.cpp
test_fzn_sets.cpp
test_int_div.cpp
test_int_mod.cpp
test_int_ranges_as_values.cpp
test_seq_search.cpp
timetabling.cpp
trucking.cpp
warehouses_small.cpp
warehouses.cpp
wolf_goat_cabbage.cpp
zebra.cpp