Folder: flatzinc

package info (click to toggle)

gecode-snapshot 6.2.0%2Bgit20240207-2

links: PTS, VCS
area: main
in suites: forky, sid, trixie
size: 35,308 kB
sloc: cpp: 475,516; perl: 2,077; makefile: 1,816; sh: 198

			.. (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--	2,519	cumulatives_full_1.cpp
-	rw-r--r--	2,545	cumulatives_full_2.cpp
-	rw-r--r--	2,377	cumulatives_full_3.cpp
-	rw-r--r--	2,353	cumulatives_full_4.cpp
-	rw-r--r--	2,389	cumulatives_full_5.cpp
-	rw-r--r--	2,365	cumulatives_full_6.cpp
-	rw-r--r--	2,247	cumulatives_full_7.cpp
-	rw-r--r--	2,173	cumulatives_full_8.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--	3,083	on_restart_complete.cpp
-	rw-r--r--	3,240	on_restart_last_val_bool.cpp
-	rw-r--r--	3,364	on_restart_last_val_float.cpp
-	rw-r--r--	3,289	on_restart_last_val_int.cpp
-	rw-r--r--	8,870	on_restart_last_val_set.cpp
-	rw-r--r--	3,334	on_restart_sol_bool.cpp
-	rw-r--r--	3,050	on_restart_sol_float.cpp
-	rw-r--r--	3,083	on_restart_sol_int.cpp
-	rw-r--r--	4,860	on_restart_sol_set.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--	2,280	subtyping.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