Ocaml Search Code
Algorithms and domains produced by the UNH Artificial Intelligence research group between 2006-2014. I certainly can't claim sole ownership of the code. Many researchers contributed to the code base over these years, and their names are captured in @author tags in various files.
Please direct questions to Jordan Thayer.
This is a snapshot of the research code around 2012, when the group switched to doing much of it's research in C++ for performance reasons.
Everything relies on a custom build tool, ocm2, to build. You'll need to bootstrap ocm2 by building ocm first. Once ocm2 is built, you should be able to build solvers and instance generators directly.
An actual description of the directiories and their contents. Also some build instructions and documentation.
README.MD -- This file
my_clean.sh -- make clean
for the whole research project
vacuum tsp dyn_robot job_shop msa pancake scanalyzer dock_robot darts manufacturing openstacks rubiks solitaire_chess roadmap sokoban sudoku hanoi luigi grid sliding_tiles topspin rucksack vis_nav setcover logistics partition plan-it tplan motion_prim orc csp
blfs bounded_depth iterative_deepening search
image search_vis spt spt_plot
experiments histogram pdb rdb structs user_paths wrutils wrmath wrthreads
ocm ocm2
gtk_playground libplayerc_caml make_tables synthetic_graph
bvls learning offline_fitting online