Index of /surynpav/research/j-puzzle-2015/j-puzzle-2015_experiments/source/BIBOX_push-and-swap/reLOC-0.11-eureka_003/src
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
Makefile 20-Dec-2015 16:06 19K
![[ ]](/icons/unknown.gif)
all.groups 17-Apr-2015 23:07 7.1K
alldiff_test.cpp 20-Dec-2015 16:06 9.1K
alldiff_test.h 20-Dec-2015 16:06 1.6K
autooptim_main.cpp 20-Dec-2015 16:06 15K
autooptim_main.h 20-Dec-2015 16:06 2.5K
cnf.cpp 20-Dec-2015 16:06 192K
cnf.h 20-Dec-2015 16:06 60K
cnf_test.cpp 20-Dec-2015 16:06 22K
cnf_test.h 20-Dec-2015 16:06 2.0K
compile.h 20-Dec-2015 16:06 1.4K
complete.cpp 20-Dec-2015 16:06 46K
complete.h 20-Dec-2015 16:06 4.7K
complete_test.cpp 20-Dec-2015 16:06 12K
complete_test.h 20-Dec-2015 16:06 1.5K
compress.cpp 20-Dec-2015 16:06 299K
compress.h 20-Dec-2015 16:06 33K
![[DIR]](/icons/folder.gif)
compress/ 29-Aug-2018 12:35 -
compress_test.cpp 20-Dec-2015 16:06 40K
compress_test.h 20-Dec-2015 16:06 1.9K
config.h 20-Dec-2015 16:06 1.7K
defs.h 20-Dec-2015 16:06 2.2K
exp_Hbijection_coop_..> 20-Apr-2012 08:52 7.2K
exp_Hbijection_coop_..> 20-Apr-2012 09:01 5.5K
exp_Hdifferential_co..> 20-Apr-2012 08:52 7.3K
exp_Hdifferential_co..> 20-Apr-2012 08:52 5.6K
exp_bijection_coop_0..> 20-Apr-2012 08:15 7.1K
exp_bijection_coop_1..> 20-Apr-2012 08:15 5.5K
exp_gridgen.sh 24-Oct-2015 15:08 679
exp_gridgen_bgu.sh 24-Oct-2015 15:08 683
exp_gridsol.sh 24-Oct-2015 15:09 935
exp_gridsol_mdd.sh 24-Oct-2015 15:09 893
exp_start_SAT.sh 24-Oct-2015 15:55 483
exp_start_all_SAT.sh 24-Oct-2015 15:55 289
exp_start_all_bgu.sh 24-Oct-2015 15:17 289
exp_start_bgu.sh 24-Oct-2015 14:37 401
gecode_test.cpp 20-Dec-2015 16:06 2.0K
gecode_test.h 20-Dec-2015 16:06 1.8K
graph.cpp 20-Dec-2015 16:06 21K
graph.h 20-Dec-2015 16:06 15K
grid_04x04_r03_10w.cpf 28-Oct-2015 11:56 401
grid_08x08_r10_10w.cpf 28-Oct-2015 11:53 2.0K
grid_08x08_r12_10w.cpf 28-Oct-2015 11:54 2.0K
grid_08x08_r13_10w.cpf 28-Oct-2015 11:54 2.0K
grid_08x08_r14_10w.cpf 28-Oct-2015 11:54 2.1K
grid_08x08_r16_10w.cpf 27-Oct-2015 19:35 2.1K
gridgen_main.cpp 20-Dec-2015 16:06 13K
gridgen_main.h 20-Dec-2015 16:06 2.3K
hierarch.cpp 20-Dec-2015 16:06 21K
hierarch.h 20-Dec-2015 16:06 5.6K
hierarch_test.cpp 20-Dec-2015 16:06 5.0K
hierarch_test.h 20-Dec-2015 16:06 1.6K
multirobot.cpp 20-Dec-2015 16:06 551K
multirobot.h 20-Dec-2015 16:06 26K
multirobot_test.cpp 20-Dec-2015 16:06 41K
multirobot_test.h 20-Dec-2015 16:06 2.7K
optimizer_main.cpp 20-Dec-2015 16:06 13K
optimizer_main.h 20-Dec-2015 16:06 2.5K
puzzle_push-and-swap..> 20-Dec-2015 14:15 8.0K
reloc.cpp 20-Dec-2015 16:06 31K
reloc.h 20-Dec-2015 16:06 7.4K
reloc_test.cpp 20-Dec-2015 16:06 7.1K
reloc_test.h 20-Dec-2015 16:06 1.7K
resolver_main.cpp 20-Dec-2015 16:06 17K
resolver_main.h 20-Dec-2015 16:06 2.3K
result.h 20-Dec-2015 16:06 5.4K
robots_04x04 24-Oct-2015 15:11 36
robots_06x06 24-Oct-2015 14:10 62
robots_08x08 24-Oct-2015 14:10 62
robots_16x16 01-Nov-2015 14:15 86
robots_32x32 01-Nov-2015 14:16 182
search.cpp 20-Dec-2015 16:06 78K
search.h 20-Dec-2015 16:06 18K
seeds 26-Apr-2013 01:32 37
seeds10 26-Apr-2013 01:32 37
seeds100 08-Oct-2015 21:44 486
siege.status 06-Sep-2014 23:19 0
simplify/ 29-Aug-2018 12:36 -
simplify_main.cpp 20-Dec-2015 16:06 9.9K
simplify_main.h 20-Dec-2015 16:06 2.6K
solver_main.cpp 20-Dec-2015 16:06 26K
solver_main.h 20-Dec-2015 16:06 2.7K
statistics.cpp 20-Dec-2015 16:06 16K
statistics.h 20-Dec-2015 16:06 4.9K
test.groups 17-Apr-2015 23:07 12K
test_gecode_reLOC 20-Apr-2012 08:10 493K
types.cpp 20-Dec-2015 16:06 5.2K
types.h 20-Dec-2015 16:06 4.1K
version.h 20-Dec-2015 16:06 1.6K
Apache Server at users.fit.cvut.cz Port 443