| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| Makefile | 2014-10-05 21:46 | 17K | ||
| alldiff_test.cpp | 2014-10-05 21:46 | 9.1K | ||
| alldiff_test.h | 2014-10-05 21:46 | 1.6K | ||
| autooptim_main.cpp | 2014-10-05 21:46 | 14K | ||
| autooptim_main.h | 2014-10-05 21:46 | 2.5K | ||
| cnf.cpp | 2014-10-05 21:46 | 184K | ||
| cnf.h | 2014-10-05 21:46 | 57K | ||
| cnf_test.cpp | 2014-10-05 21:46 | 22K | ||
| cnf_test.h | 2014-10-05 21:46 | 2.0K | ||
| compile.h | 2014-10-05 21:46 | 1.4K | ||
| compress.cpp | 2014-10-05 21:46 | 241K | ||
| compress.h | 2014-10-05 21:46 | 26K | ||
| compress/ | 2014-11-06 13:40 | - | ||
| compress_test.cpp | 2014-10-05 21:46 | 39K | ||
| compress_test.h | 2014-10-05 21:46 | 1.9K | ||
| config.h | 2014-10-05 21:46 | 1.6K | ||
| defs.h | 2014-10-05 21:46 | 2.2K | ||
| exp_gridgen.sh | 2014-06-08 18:37 | 653 | ||
| exp_gridsol.sh | 2014-06-22 12:52 | 857 | ||
| exp_start.sh | 2014-04-25 13:32 | 238 | ||
| exp_start_SAT.sh | 2014-06-22 12:57 | 235 | ||
| exp_start_Star.sh | 2014-04-26 21:57 | 125 | ||
| exp_start_all.sh | 2014-04-25 20:18 | 129 | ||
| exp_start_all_SAT.sh | 2014-06-22 12:55 | 159 | ||
| exp_start_all_Star.sh | 2014-06-22 12:53 | 161 | ||
| exp_start_all_input_Hadv.sh | 2014-06-08 14:18 | 314 | ||
| exp_start_all_input_Hdif.sh | 2014-06-08 14:33 | 316 | ||
| exp_start_all_input_Hdir.sh | 2014-06-08 18:37 | 316 | ||
| exp_start_all_input_Hmch.sh | 2014-06-08 14:45 | 316 | ||
| exp_start_all_input_Hsim.sh | 2014-06-08 18:37 | 316 | ||
| exp_start_all_input_ind.sh | 2014-06-08 14:33 | 310 | ||
| ext_grid_clauses.sh | 2014-06-08 18:37 | 297 | ||
| ext_grid_literals.sh | 2014-06-08 18:38 | 298 | ||
| ext_grid_makespan.sh | 2014-06-08 18:38 | 321 | ||
| ext_grid_time.sh | 2014-05-09 22:39 | 317 | ||
| ext_grid_variables.sh | 2014-06-08 18:38 | 299 | ||
| ext_gridgen.sh | 2014-06-08 18:38 | 690 | ||
| ext_start_all_input.sh | 2014-05-09 09:49 | 314 | ||
| ext_start_all_solution.sh | 2014-05-09 15:50 | 350 | ||
| ext_start_all_solution_Hadv.sh | 2014-05-09 15:56 | 369 | ||
| ext_start_all_solution_Hdif.sh | 2014-05-09 15:56 | 393 | ||
| ext_start_all_solution_Hdir.sh | 2014-06-04 21:30 | 357 | ||
| ext_start_all_solution_Hmch.sh | 2014-05-09 15:56 | 369 | ||
| ext_start_all_solution_Hsim.sh | 2014-06-04 21:30 | 357 | ||
| ext_start_all_solution_deco.sh | 2014-05-09 15:56 | 369 | ||
| ext_start_all_solution_ind.sh | 2014-05-09 15:56 | 375 | ||
| ext_start_input.sh | 2014-06-08 18:38 | 159 | ||
| ext_start_solution.sh | 2014-05-09 15:49 | 91 | ||
| gecode_test.cpp | 2014-10-05 21:46 | 2.0K | ||
| gecode_test.h | 2014-10-05 21:46 | 1.8K | ||
| graph.cpp | 2014-10-05 21:46 | 21K | ||
| graph.h | 2014-10-05 21:46 | 15K | ||
| grid_04x04_r02.cpf | 2014-06-30 12:40 | 519 | ||
| grid_04x04_r03.cpf | 2014-06-30 12:40 | 519 | ||
| grid_04x04_r04.cpf | 2014-06-30 12:26 | 519 | ||
| grid_06x06_r03.cpf | 2014-06-30 12:46 | 1.2K | ||
| grid_06x06_r04.cpf | 2014-06-30 12:46 | 1.2K | ||
| grid_08x08_r04.cpf | 2014-06-30 12:50 | 2.0K | ||
| grid_08x08_r05.cpf | 2014-06-30 12:50 | 2.0K | ||
| grid_08x08_r06.cpf | 2014-06-30 12:49 | 2.0K | ||
| grid_08x08_r08.cpf | 2014-06-30 12:47 | 2.0K | ||
| grid_10x10_r05.cpf | 2014-06-30 12:50 | 3.3K | ||
| grid_12x12_r05.cpf | 2014-06-30 12:51 | 5.1K | ||
| grid_12x12_r06.cpf | 2014-06-30 12:48 | 5.1K | ||
| grid_12x12_r08.cpf | 2014-06-30 12:47 | 5.1K | ||
| grid_16x16_r05.cpf | 2014-06-30 12:51 | 9.1K | ||
| grid_16x16_r06.cpf | 2014-06-30 12:52 | 9.1K | ||
| grid_16x16_r07.cpf | 2014-06-30 12:52 | 9.1K | ||
| grid_16x16_r08.cpf | 2014-06-30 12:52 | 9.1K | ||
| grid_16x16_r09.cpf | 2014-06-30 13:01 | 9.1K | ||
| grid_16x16_r10.cpf | 2014-06-30 13:02 | 9.1K | ||
| grid_16x16_r11.cpf | 2014-06-30 13:02 | 9.1K | ||
| grid_16x16_r12.cpf | 2014-06-30 13:02 | 9.1K | ||
| grid_16x16_r13.cpf | 2014-06-30 13:02 | 9.1K | ||
| grid_16x16_r14.cpf | 2014-06-30 13:03 | 9.1K | ||
| grid_16x16_r15.cpf | 2014-06-30 13:03 | 9.1K | ||
| grid_16x16_r16.cpf | 2014-06-30 13:03 | 9.1K | ||
| gridgen_main.cpp | 2014-10-05 21:46 | 10K | ||
| gridgen_main.h | 2014-10-05 21:46 | 2.3K | ||
| hierarch.cpp | 2014-10-05 21:46 | 21K | ||
| hierarch.h | 2014-10-05 21:46 | 5.6K | ||
| hierarch_test.cpp | 2014-10-05 21:46 | 5.0K | ||
| hierarch_test.h | 2014-10-05 21:46 | 1.6K | ||
| multirobot.cpp | 2014-10-05 21:46 | 396K | ||
| multirobot.h | 2014-10-05 21:46 | 21K | ||
| multirobot_test.cpp | 2014-10-05 21:46 | 41K | ||
| multirobot_test.h | 2014-10-05 21:46 | 2.7K | ||
| optimizer_main.cpp | 2014-10-05 21:46 | 13K | ||
| optimizer_main.h | 2014-10-05 21:46 | 2.5K | ||
| preprocessor.dat | 2014-10-05 15:54 | 81 | ||
| reloc.cpp | 2014-10-05 21:46 | 20K | ||
| reloc.h | 2014-10-05 21:46 | 6.1K | ||
| reloc_test.cpp | 2014-10-05 21:46 | 7.1K | ||
| reloc_test.h | 2014-10-05 21:46 | 1.7K | ||
| resolver_main.cpp | 2014-10-05 21:46 | 17K | ||
| resolver_main.h | 2014-10-05 21:46 | 2.3K | ||
| result.h | 2014-10-05 21:46 | 5.3K | ||
| search.cpp | 2014-10-05 21:46 | 78K | ||
| search.h | 2014-10-05 21:46 | 18K | ||
| seeds | 2013-04-26 01:32 | 37 | ||
| siege.status | 2014-09-06 23:19 | 0 | ||
| simplify/ | 2014-11-06 13:40 | - | ||
| simplify_main.cpp | 2014-10-05 21:46 | 9.9K | ||
| simplify_main.h | 2014-10-05 21:46 | 2.6K | ||
| solver_main.cpp | 2014-10-05 21:46 | 18K | ||
| solver_main.h | 2014-10-05 21:46 | 2.5K | ||
| statistics.cpp | 2014-10-05 21:46 | 14K | ||
| statistics.h | 2014-10-05 21:46 | 4.9K | ||
| types.cpp | 2014-10-05 21:46 | 5.2K | ||
| types.h | 2014-10-05 21:46 | 4.1K | ||
| version.h | 2014-10-05 21:46 | 1.6K | ||