package info (click to toggle)
gecode 6.2.0-7
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 27,380 kB
  • sloc: cpp: 337,599; perl: 2,048; makefile: 1,798; sh: 215

Folder: flatzinc

d .. (parent)
- - rw-r--r-- 5,040 2dpacking.cpp
- - rw-r--r-- 8,562 alpha.cpp
- - rw-r--r-- 119,615 battleships1.cpp
- - rw-r--r-- 159,844 battleships10.cpp
- - rw-r--r-- 61,289 battleships2.cpp
- - rw-r--r-- 171,553 battleships3.cpp
- - rw-r--r-- 164,562 battleships4.cpp
- - rw-r--r-- 159,902 battleships5.cpp
- - rw-r--r-- 141,188 battleships7.cpp
- - rw-r--r-- 173,661 battleships9.cpp
- - rw-r--r-- 22,528 blocksworld_instance_1.cpp
- - rw-r--r-- 67,689 blocksworld_instance_2.cpp
- - rw-r--r-- 2,182 bool_clause.cpp
- - rw-r--r-- 1,857 bug232.cpp
- - rw-r--r-- 1,824 bug319.cpp
- - rw-r--r-- 2,462 bugfix_r6746.cpp
- - rw-r--r-- 10,003 bugfix_r7854.cpp
- - rw-r--r-- 1,813 cumulatives.cpp
- - rw-r--r-- 5,269 cutstock.cpp
- - rw-r--r-- 1,800 empty_domain_1.cpp
- - rw-r--r-- 1,828 empty_domain_2.cpp
- - rw-r--r-- 4,842 eq20.cpp
- - rw-r--r-- 23,483 factory_planning_instance.cpp
- - rw-r--r-- 7,715 golomb.cpp
- - rw-r--r-- 1,839 int_set_as_type1.cpp
- - rw-r--r-- 1,877 int_set_as_type2.cpp
- - rw-r--r-- 2,635 jobshop.cpp
- - rw-r--r-- 3,333 jobshop2x2.cpp
- - rw-r--r-- 14,664 knights.cpp
- - rw-r--r-- 9,051 langford2.cpp
- - rw-r--r-- 36,190 latin_squares_fd.cpp
- - rwxr-xr-x 6,832 magicsq_3.cpp
- - rwxr-xr-x 7,141 magicsq_4.cpp
- - rw-r--r-- 7,508 magicsq_5.cpp
- - rw-r--r-- 2,872 multidim_knapsack_simple.cpp
- - rw-r--r-- 1,815 no_warn_empty_domain.cpp
- - rw-r--r-- 10,670 oss.cpp
- - rw-r--r-- 2,066 output_test.cpp
- - rw-r--r-- 1,679,163 packing.cpp
- - rw-r--r-- 10,466 perfsq.cpp
- - rw-r--r-- 7,876 perfsq2.cpp
- - rw-r--r-- 15,758 photo.cpp
- - rw-r--r-- 3,220 product_fd.cpp
- - rw-r--r-- 3,427 product_lp.cpp
- - rw-r--r-- 21,316 quasigroup_qg5.cpp
- - rw-r--r-- 4,852 queen_cp2.cpp
- - rw-r--r-- 6,335 queen_ip.cpp
- - rw-r--r-- 2,970 queens4.cpp
- - rw-r--r-- 109,697 radiation.cpp
- - rw-r--r-- 11,410 sat_arith1.cpp
- - rw-r--r-- 2,161 sat_array_bool_and.cpp
- - rw-r--r-- 2,039 sat_array_bool_or.cpp
- - rw-r--r-- 2,483 sat_cmp_reif.cpp
- - rw-r--r-- 2,312 sat_eq_reif.cpp
- - rw-r--r-- 6,786 shared_array_element.cpp
- - rw-r--r-- 3,409 simple_sat.cpp
- - rw-r--r-- 8,759 singHoist2.cpp
- - rw-r--r-- 9,354 steiner_triples.cpp
- - rw-r--r-- 7,678 sudoku.cpp
- - rw-r--r-- 12,036 template_design.cpp
- - rw-r--r-- 31,814 tenpenki_1.cpp
- - rw-r--r-- 216,791 tenpenki_2.cpp
- - rw-r--r-- 28,382 tenpenki_3.cpp
- - rw-r--r-- 4,350 tenpenki_4.cpp
- - rw-r--r-- 330,746 tenpenki_5.cpp
- - rw-r--r-- 78,672 tenpenki_6.cpp
- - rw-r--r-- 2,122 test_approx_bnb.cpp
- - rw-r--r-- 1,879 test_array_just_right.cpp
- - rw-r--r-- 1,869 test_assigned_var_bounds_bad.cpp
- - rw-r--r-- 2,079 test_flatzinc_output_anns.cpp
- - rw-r--r-- 3,483 test_fzn_arith.cpp
- - rw-r--r-- 2,330 test_fzn_arrays.cpp
- - rw-r--r-- 1,933 test_fzn_coercions.cpp
- - rw-r--r-- 7,385 test_fzn_comparison.cpp
- - rw-r--r-- 4,357 test_fzn_logic.cpp
- - rw-r--r-- 3,339 test_fzn_sets.cpp
- - rw-r--r-- 2,063 test_int_div.cpp
- - rw-r--r-- 2,185 test_int_mod.cpp
- - rw-r--r-- 1,904 test_int_ranges_as_values.cpp
- - rw-r--r-- 2,179 test_seq_search.cpp
- - rw-r--r-- 33,487 timetabling.cpp
- - rw-r--r-- 3,997 trucking.cpp
- - rw-r--r-- 19,872 warehouses.cpp
- - rw-r--r-- 19,872 warehouses_small.cpp
- - rw-r--r-- 156,877 wolf_goat_cabbage.cpp
- - rw-r--r-- 8,606 zebra.cpp