Index of /~surynek/research/j-puzzle-2015/j-puzzle-2015_experiments/source/BIBOX_push-and-swap/reLOC-0.11-eureka_003/src

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile	2015-12-20 17:06	19K
	all.groups	2015-04-17 23:07	7.1K
	alldiff_test.cpp	2015-12-20 17:06	9.1K
	alldiff_test.h	2015-12-20 17:06	1.6K
	autooptim_main.cpp	2015-12-20 17:06	15K
	autooptim_main.h	2015-12-20 17:06	2.5K
	cnf.cpp	2015-12-20 17:06	192K
	cnf.h	2015-12-20 17:06	60K
	cnf_test.cpp	2015-12-20 17:06	22K
	cnf_test.h	2015-12-20 17:06	2.0K
	compile.h	2015-12-20 17:06	1.4K
	complete.cpp	2015-12-20 17:06	46K
	complete.h	2015-12-20 17:06	4.7K
	complete_test.cpp	2015-12-20 17:06	12K
	complete_test.h	2015-12-20 17:06	1.5K
	compress.cpp	2015-12-20 17:06	299K
	compress.h	2015-12-20 17:06	33K
	compress/	2016-01-02 00:49	-
	compress_test.cpp	2015-12-20 17:06	40K
	compress_test.h	2015-12-20 17:06	1.9K
	config.h	2015-12-20 17:06	1.7K
	defs.h	2015-12-20 17:06	2.2K
	exp_Hbijection_coop_08x08.sh	2012-04-20 08:52	7.2K
	exp_Hbijection_coop_16x16.sh	2012-04-20 09:01	5.5K
	exp_Hdifferential_coop_08x08.sh	2012-04-20 08:52	7.3K
	exp_Hdifferential_coop_16x16.sh	2012-04-20 08:52	5.6K
	exp_bijection_coop_08x08.sh	2012-04-20 08:15	7.1K
	exp_bijection_coop_16x16.sh	2012-04-20 08:15	5.5K
	exp_gridgen.sh	2015-10-24 15:08	679
	exp_gridgen_bgu.sh	2015-10-24 15:08	683
	exp_gridsol.sh	2015-10-24 15:09	935
	exp_gridsol_mdd.sh	2015-10-24 15:09	893
	exp_start_SAT.sh	2015-10-24 15:55	483
	exp_start_all_SAT.sh	2015-10-24 15:55	289
	exp_start_all_bgu.sh	2015-10-24 15:17	289
	exp_start_bgu.sh	2015-10-24 14:37	401
	gecode_test.cpp	2015-12-20 17:06	2.0K
	gecode_test.h	2015-12-20 17:06	1.8K
	graph.cpp	2015-12-20 17:06	21K
	graph.h	2015-12-20 17:06	15K
	grid_04x04_r03_10w.cpf	2015-10-28 12:56	401
	grid_08x08_r10_10w.cpf	2015-10-28 12:53	2.0K
	grid_08x08_r12_10w.cpf	2015-10-28 12:54	2.0K
	grid_08x08_r13_10w.cpf	2015-10-28 12:54	2.0K
	grid_08x08_r14_10w.cpf	2015-10-28 12:54	2.1K
	grid_08x08_r16_10w.cpf	2015-10-27 20:35	2.1K
	gridgen_main.cpp	2015-12-20 17:06	13K
	gridgen_main.h	2015-12-20 17:06	2.3K
	hierarch.cpp	2015-12-20 17:06	21K
	hierarch.h	2015-12-20 17:06	5.6K
	hierarch_test.cpp	2015-12-20 17:06	5.0K
	hierarch_test.h	2015-12-20 17:06	1.6K
	multirobot.cpp	2015-12-20 17:06	551K
	multirobot.h	2015-12-20 17:06	26K
	multirobot_test.cpp	2015-12-20 17:06	41K
	multirobot_test.h	2015-12-20 17:06	2.7K
	optimizer_main.cpp	2015-12-20 17:06	13K
	optimizer_main.h	2015-12-20 17:06	2.5K
	puzzle_push-and-swap.txt	2015-12-20 15:15	8.0K
	reloc.cpp	2015-12-20 17:06	31K
	reloc.h	2015-12-20 17:06	7.4K
	reloc_test.cpp	2015-12-20 17:06	7.1K
	reloc_test.h	2015-12-20 17:06	1.7K
	resolver_main.cpp	2015-12-20 17:06	17K
	resolver_main.h	2015-12-20 17:06	2.3K
	result.h	2015-12-20 17:06	5.4K
	robots_04x04	2015-10-24 15:11	36
	robots_06x06	2015-10-24 14:10	62
	robots_08x08	2015-10-24 14:10	62
	robots_16x16	2015-11-01 15:15	86
	robots_32x32	2015-11-01 15:16	182
	search.cpp	2015-12-20 17:06	78K
	search.h	2015-12-20 17:06	18K
	seeds	2013-04-26 01:32	37
	seeds10	2013-04-26 01:32	37
	seeds100	2015-10-08 21:44	486
	siege.status	2014-09-06 23:19	0
	simplify/	2016-01-02 00:49	-
	simplify_main.cpp	2015-12-20 17:06	9.9K
	simplify_main.h	2015-12-20 17:06	2.6K
	solver_main.cpp	2015-12-20 17:06	26K
	solver_main.h	2015-12-20 17:06	2.7K
	statistics.cpp	2015-12-20 17:06	16K
	statistics.h	2015-12-20 17:06	4.9K
	test.groups	2015-04-17 23:07	12K
	test_gecode_reLOC	2012-04-20 08:10	493K
	types.cpp	2015-12-20 17:06	5.2K
	types.h	2015-12-20 17:06	4.1K
	version.h	2015-12-20 17:06	1.6K