add search engine code in example/
authorYanhua Yanhua <sun51@illinois.edu>
Fri, 11 Feb 2011 22:09:10 +0000 (16:09 -0600)
committerYanhua Yanhua <sun51@illinois.edu>
Fri, 11 Feb 2011 22:09:10 +0000 (16:09 -0600)
commit4e3802010eb065f2be260167d32ec90741c7fbef
treee77b845e69daa1f94c1035ecbf4614e0b13fc991
parent612f194df1e0eefb7a67b45615485796a8ad827e
add search engine code in example/
87 files changed:
examples/charm++/state_space_searchengine/3SAT/Makefile [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/defines.h [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/main.C [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/main.ci [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/minisat/Makefile [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/minisat/Solver.C [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/minisat/Solver.h [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/minisat/SolverTypes.h [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/minisat/depend.mk [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/minisat/mtl/.svn/all-wcprops [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/minisat/mtl/.svn/entries [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/minisat/mtl/.svn/format [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/minisat/mtl/.svn/text-base/Alg.h.svn-base [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/minisat/mtl/.svn/text-base/BasicHeap.h.svn-base [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/minisat/mtl/.svn/text-base/BoxedVec.h.svn-base [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/minisat/mtl/.svn/text-base/Map.h.svn-base [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/minisat/mtl/.svn/text-base/Queue.h.svn-base [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/minisat/mtl/.svn/text-base/Sort.h.svn-base [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/minisat/mtl/.svn/text-base/Vec.h.svn-base [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/minisat/mtl/.svn/text-base/minisatHeap.h.svn-base [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/minisat/mtl/.svn/text-base/template.mk.svn-base [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/minisat/mtl/Alg.h [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/minisat/mtl/BasicHeap.h [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/minisat/mtl/BoxedVec.h [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/minisat/mtl/Map.h [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/minisat/mtl/Queue.h [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/minisat/mtl/Sort.h [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/minisat/mtl/Vec.h [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/minisat/mtl/minisatHeap.h [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/minisat/mtl/template.mk [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/searchEngineAPI.C [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/searchEngineAPI.h [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/soln-checker.py [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/solvers_convertor.C [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/solvers_convertor.h [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/uf125-01.cnf [new file with mode: 0644]
examples/charm++/state_space_searchengine/3SAT/uf200-055.cnf [new file with mode: 0644]
examples/charm++/state_space_searchengine/BalancedTree/Makefile [new file with mode: 0644]
examples/charm++/state_space_searchengine/BalancedTree/main.C [new file with mode: 0644]
examples/charm++/state_space_searchengine/BalancedTree/main.ci [new file with mode: 0644]
examples/charm++/state_space_searchengine/BalancedTree/searchEngineAPI.C [new file with mode: 0644]
examples/charm++/state_space_searchengine/Hamiltonian_SE/Makefile [new file with mode: 0644]
examples/charm++/state_space_searchengine/Hamiltonian_SE/data/alb1000.hcp [new file with mode: 0644]
examples/charm++/state_space_searchengine/Hamiltonian_SE/data/ham300.hcp [new file with mode: 0644]
examples/charm++/state_space_searchengine/Hamiltonian_SE/data/imp0020.hcp [new file with mode: 0644]
examples/charm++/state_space_searchengine/Hamiltonian_SE/data/imp0048.hcp [new file with mode: 0644]
examples/charm++/state_space_searchengine/Hamiltonian_SE/data/imp0105.hcp [new file with mode: 0644]
examples/charm++/state_space_searchengine/Hamiltonian_SE/data/knights-tour-30.hcp [new file with mode: 0644]
examples/charm++/state_space_searchengine/Hamiltonian_SE/data/knights-tour-48.hcp [new file with mode: 0644]
examples/charm++/state_space_searchengine/Hamiltonian_SE/data/mytest.hcp [new file with mode: 0644]
examples/charm++/state_space_searchengine/Hamiltonian_SE/data/sgl0010.hcp [new file with mode: 0644]
examples/charm++/state_space_searchengine/Hamiltonian_SE/hamiltonian.h [new file with mode: 0644]
examples/charm++/state_space_searchengine/Hamiltonian_SE/main.C [new file with mode: 0644]
examples/charm++/state_space_searchengine/Hamiltonian_SE/main.ci [new file with mode: 0644]
examples/charm++/state_space_searchengine/Hamiltonian_SE/searchEngineAPI.C [new file with mode: 0644]
examples/charm++/state_space_searchengine/Hamiltonian_SE/searchEngineAPI.h [new file with mode: 0644]
examples/charm++/state_space_searchengine/Makefile [new file with mode: 0644]
examples/charm++/state_space_searchengine/Makefile.common [new file with mode: 0644]
examples/charm++/state_space_searchengine/NQueens/Makefile [new file with mode: 0644]
examples/charm++/state_space_searchengine/NQueens/main.C [new file with mode: 0644]
examples/charm++/state_space_searchengine/NQueens/main.ci [new file with mode: 0644]
examples/charm++/state_space_searchengine/NQueens/searchEngineAPI.C [new file with mode: 0644]
examples/charm++/state_space_searchengine/README [new file with mode: 0644]
examples/charm++/state_space_searchengine/TSP_SE/Makefile [new file with mode: 0644]
examples/charm++/state_space_searchengine/TSP_SE/exampleTsp.h [new file with mode: 0644]
examples/charm++/state_space_searchengine/TSP_SE/main.C [new file with mode: 0644]
examples/charm++/state_space_searchengine/TSP_SE/main.ci [new file with mode: 0644]
examples/charm++/state_space_searchengine/TSP_SE/searchEngineAPI.C [new file with mode: 0644]
examples/charm++/state_space_searchengine/UnbalancedTreeSearch_SE/Makefile [new file with mode: 0644]
examples/charm++/state_space_searchengine/UnbalancedTreeSearch_SE/main.C [new file with mode: 0644]
examples/charm++/state_space_searchengine/UnbalancedTreeSearch_SE/main.ci [new file with mode: 0644]
examples/charm++/state_space_searchengine/UnbalancedTreeSearch_SE/rng/alfg.c [new file with mode: 0644]
examples/charm++/state_space_searchengine/UnbalancedTreeSearch_SE/rng/alfg.h [new file with mode: 0644]
examples/charm++/state_space_searchengine/UnbalancedTreeSearch_SE/rng/brg_endian.h [new file with mode: 0644]
examples/charm++/state_space_searchengine/UnbalancedTreeSearch_SE/rng/brg_sha1.c [new file with mode: 0644]
examples/charm++/state_space_searchengine/UnbalancedTreeSearch_SE/rng/brg_sha1.h [new file with mode: 0644]
examples/charm++/state_space_searchengine/UnbalancedTreeSearch_SE/rng/brg_types.h [new file with mode: 0644]
examples/charm++/state_space_searchengine/UnbalancedTreeSearch_SE/rng/rng.h [new file with mode: 0644]
examples/charm++/state_space_searchengine/UnbalancedTreeSearch_SE/sample_trees.sh [new file with mode: 0644]
examples/charm++/state_space_searchengine/UnbalancedTreeSearch_SE/searchEngineAPI.C [new file with mode: 0644]
examples/charm++/state_space_searchengine/UnbalancedTreeSearch_SE/uts.C [new file with mode: 0644]
examples/charm++/state_space_searchengine/UnbalancedTreeSearch_SE/uts.h [new file with mode: 0644]
examples/charm++/state_space_searchengine/searchengineLib/Makefile [new file with mode: 0644]
examples/charm++/state_space_searchengine/searchengineLib/searchEngine.C [new file with mode: 0644]
examples/charm++/state_space_searchengine/searchengineLib/searchEngine.ci [new file with mode: 0644]
examples/charm++/state_space_searchengine/searchengineLib/searchEngine.h [new file with mode: 0644]
examples/charm++/state_space_searchengine/searchengineLib/searchEngine_impl.h [new file with mode: 0644]