projects / Benchmarks_CSolver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f03c1e1) | patch
removing SATPlan and adding conda and sypet
authorHamed Gorjiara <hgorjiar@uci.edu>
Fri, 8 Nov 2019 08:01:05 +0000 (00:01 -0800)
committerHamed Gorjiara <hgorjiar@uci.edu>
Fri, 8 Nov 2019 08:01:05 +0000 (00:01 -0800)
commitd6bf55b8926ac2fc9f379a457c986c044c3713b2
tree4e44100e35282443f5af0a4353a2abc38d1ac175tree | snapshot
parentf03c1e1162869bf8db6227005e3f94264d91d024commit | diff
removing SATPlan and adding conda and sypet
252 files changed:
conda [new submodule] blob
satPlan2006/.gitignore [deleted file] blob | history
satPlan2006/Makefile [deleted file] blob | history
satPlan2006/README.txt [deleted file] blob | history
satPlan2006/bench.sh [deleted file] blob | history
satPlan2006/include/Assertion.h [deleted file] blob | history
satPlan2006/include/BerkMin561.cpp [deleted file] blob | history
satPlan2006/include/BerkMin561.h [deleted file] blob | history
satPlan2006/include/ByLine.h [deleted file] blob | history
satPlan2006/include/CNFEncoding.h [deleted file] blob | history
satPlan2006/include/CommonErrors.h [deleted file] blob | history
satPlan2006/include/Conversion.h [deleted file] blob | history
satPlan2006/include/Conversion.template [deleted file] blob | history
satPlan2006/include/Examples/Makefile [deleted file] blob | history
satPlan2006/include/Examples/README [deleted file] blob | history
satPlan2006/include/Examples/Sanity [deleted file] blob | history
satPlan2006/include/Examples/Solve-All [deleted file] blob | history
satPlan2006/include/Examples/bulldozer/README [deleted file] blob | history
satPlan2006/include/Examples/bulldozer/domain.pddl [deleted file] blob | history
satPlan2006/include/Examples/bulldozer/prob01.pddl [deleted file] blob | history
satPlan2006/include/Examples/bulldozer/prob02.pddl [deleted file] blob | history
satPlan2006/include/Examples/bulldozer/prob03.pddl [deleted file] blob | history
satPlan2006/include/Examples/bulldozer/prob04.pddl [deleted file] blob | history
satPlan2006/include/Examples/bulldozer/prob05.pddl [deleted file] blob | history
satPlan2006/include/Examples/bulldozer/prob06.pddl [deleted file] blob | history
satPlan2006/include/Examples/bulldozer/prob07.pddl [deleted file] blob | history
satPlan2006/include/Examples/bulldozer/prob08.pddl [deleted file] blob | history
satPlan2006/include/Examples/bulldozer/prob09.pddl [deleted file] blob | history
satPlan2006/include/Examples/fridge-typed/README [deleted file] blob | history
satPlan2006/include/Examples/fridge-typed/domain.pddl [deleted file] blob | history
satPlan2006/include/Examples/fridge-typed/prob01.pddl [deleted file] blob | history
satPlan2006/include/Examples/fridge-typed/prob02.pddl [deleted file] blob | history
satPlan2006/include/Examples/hanoi/Domains-Planning-Domain-Definition-Language [deleted submodule] blob | history
satPlan2006/include/Examples/hanoi/domain.pddl [deleted file] blob | history
satPlan2006/include/Examples/hanoi/hanoi-5.pddl [deleted file] blob | history
satPlan2006/include/Examples/hanoi/hanoi10.pddl [deleted file] blob | history
satPlan2006/include/Examples/hanoi/hanoi2.pddl [deleted file] blob | history
satPlan2006/include/Examples/hanoi/hanoi3.pddl [deleted file] blob | history
satPlan2006/include/Examples/hanoi/towerHanoiPddlMaker.py [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/Doit [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/Gen-wffs-all [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/GenLogStrips.c [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/README [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/Solve-All [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/domain.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/extract [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/f.cnf [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/prob001-log-easy.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/prob002-rocket-a.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/prob003-rocket-b.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/prob004-log-a.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/prob005-log-b.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/prob006-log-c.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/prob007-log-d.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/prob008-log-d3.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/prob009-log-d1.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/prob010.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/prob011.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/prob012.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/prob013.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/prob014.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/prob015.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/prob016.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/prob017.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/prob018.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/prob019.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/prob020.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/prob021.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/prob022.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/prob023.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/prob024.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/prob025.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/prob026.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/prob027.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/prob028.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/prob029.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips-length/prob030.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/GenLogStrips.c [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/README [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/SOLVE-ALL-ONLY-CHAFF [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/TRACE [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/TRACE-LOG-ONLY-CHAFF [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/control.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/control1.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/domain.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/prob001-log-easy.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/prob002-rocket-a.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/prob003-rocket-b.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/prob004-log-a.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/prob005-log-b.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/prob006-log-c.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/prob007-log-d.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/prob008-log-d3.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/prob009-log-d1.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/prob010.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/prob011.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/prob012.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/prob013.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/prob014.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/prob015.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/prob016.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/prob017.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/prob018.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/prob019.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/prob020.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/prob021.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/prob022.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/prob023.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/prob024.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/prob025.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/prob026.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/prob027.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/prob028.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/prob029.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-strips/prob030.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-typed-length/domain.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-typed-length/prob001-log-easy.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-typed-length/prob002-rocket-a.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-typed-length/prob003-rocket-b.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-typed-length/prob004-log-a.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-typed-length/prob005-log-b.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-typed-length/prob006-log-c.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-typed-length/prob007-log-d.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-typed/domain.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-typed/prob001-log-easy.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-typed/prob002-rocket-a.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-typed/prob003-rocket-b.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-typed/prob004-log-a.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-typed/prob005-log-b.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-typed/prob006-log-c.pddl [deleted file] blob | history
satPlan2006/include/Examples/logistics-typed/prob007-log-d.pddl [deleted file] blob | history
satPlan2006/include/Examples/move-bw-length/README [deleted file] blob | history
satPlan2006/include/Examples/move-bw-length/TRACE-BWC-CHAFF [deleted file] blob | history
satPlan2006/include/Examples/move-bw-length/TRACE-BWD-CHAFF [deleted file] blob | history
satPlan2006/include/Examples/move-bw-length/blackbox.exe.stackdump [deleted file] blob | history
satPlan2006/include/Examples/move-bw-length/bw-12step.pddl [deleted file] blob | history
satPlan2006/include/Examples/move-bw-length/bw-large-a.pddl [deleted file] blob | history
satPlan2006/include/Examples/move-bw-length/bw-large-b.pddl [deleted file] blob | history
satPlan2006/include/Examples/move-bw-length/bw-large-c.pddl [deleted file] blob | history
satPlan2006/include/Examples/move-bw-length/bw-large-d.pddl [deleted file] blob | history
satPlan2006/include/Examples/move-bw-length/bw-reversal4.pddl [deleted file] blob | history
satPlan2006/include/Examples/move-bw-length/bw-simple.pddl [deleted file] blob | history
satPlan2006/include/Examples/move-bw-length/bw-sussman.pddl [deleted file] blob | history
satPlan2006/include/Examples/move-bw-length/ctrl.pddl [deleted file] blob | history
satPlan2006/include/Examples/move-bw-length/domain.pddl [deleted file] blob | history
satPlan2006/include/Examples/prodigy-bw-length/Doit [deleted file] blob | history
satPlan2006/include/Examples/prodigy-bw-length/README [deleted file] blob | history
satPlan2006/include/Examples/prodigy-bw-length/bw-12step.pddl [deleted file] blob | history
satPlan2006/include/Examples/prodigy-bw-length/bw-large-a.pddl [deleted file] blob | history
satPlan2006/include/Examples/prodigy-bw-length/bw-large-b.pddl [deleted file] blob | history
satPlan2006/include/Examples/prodigy-bw-length/bw-large-c.pddl [deleted file] blob | history
satPlan2006/include/Examples/prodigy-bw-length/bw-large-d.pddl [deleted file] blob | history
satPlan2006/include/Examples/prodigy-bw-length/bw-reversal4.pddl [deleted file] blob | history
satPlan2006/include/Examples/prodigy-bw-length/bw-simple.pddl [deleted file] blob | history
satPlan2006/include/Examples/prodigy-bw-length/bw-sussman.pddl [deleted file] blob | history
satPlan2006/include/Examples/prodigy-bw-length/domain.pddl [deleted file] blob | history
satPlan2006/include/Examples/prodigy-bw/README [deleted file] blob | history
satPlan2006/include/Examples/prodigy-bw/bw-12step.pddl [deleted file] blob | history
satPlan2006/include/Examples/prodigy-bw/bw-large-a.pddl [deleted file] blob | history
satPlan2006/include/Examples/prodigy-bw/bw-large-b.pddl [deleted file] blob | history
satPlan2006/include/Examples/prodigy-bw/bw-large-c.pddl [deleted file] blob | history
satPlan2006/include/Examples/prodigy-bw/bw-large-d.pddl [deleted file] blob | history
satPlan2006/include/Examples/prodigy-bw/bw-reversal4.pddl [deleted file] blob | history
satPlan2006/include/Examples/prodigy-bw/bw-simple-test.pddl [deleted file] blob | history
satPlan2006/include/Examples/prodigy-bw/bw-simple.pddl [deleted file] blob | history
satPlan2006/include/Examples/prodigy-bw/bw-sussman.pddl [deleted file] blob | history
satPlan2006/include/Examples/prodigy-bw/ctrl.pddl [deleted file] blob | history
satPlan2006/include/Examples/prodigy-bw/domain.pddl [deleted file] blob | history
satPlan2006/include/Examples/tire-world/README [deleted file] blob | history
satPlan2006/include/Examples/tire-world/control.pddl [deleted file] blob | history
satPlan2006/include/Examples/tire-world/domain.pddl [deleted file] blob | history
satPlan2006/include/Examples/tire-world/prob01.pddl [deleted file] blob | history
satPlan2006/include/Examples/tire-world/prob02.pddl [deleted file] blob | history
satPlan2006/include/Examples/tire-world/prob03.pddl [deleted file] blob | history
satPlan2006/include/Examples/tire-world/prob04.pddl [deleted file] blob | history
satPlan2006/include/Examples/tire-world/tire-b.pddl [deleted file] blob | history
satPlan2006/include/Examples/tire-world/trace-chaff-solves-tire-b.txt [deleted file] blob | history
satPlan2006/include/Examples/woodshop/README [deleted file] blob | history
satPlan2006/include/Examples/woodshop/domain.pddl [deleted file] blob | history
satPlan2006/include/Examples/woodshop/prob03.pddl [deleted file] blob | history
satPlan2006/include/Exceptions.h [deleted file] blob | history
satPlan2006/include/Factory.h [deleted file] blob | history
satPlan2006/include/GeneralSolver.cpp [deleted file] blob | history
satPlan2006/include/GeneralSolver.h [deleted file] blob | history
satPlan2006/include/Input.cpp [deleted file] blob | history
satPlan2006/include/Input.h [deleted file] blob | history
satPlan2006/include/Jerusat-1.3.cpp [deleted file] blob | history
satPlan2006/include/Jerusat-1.3.h [deleted file] blob | history
satPlan2006/include/Makefile [deleted file] blob | history
satPlan2006/include/MiniSatSolver.cpp [deleted file] blob | history
satPlan2006/include/MiniSatSolver.h [deleted file] blob | history
satPlan2006/include/PreferredSource.h [deleted file] blob | history
satPlan2006/include/README-bb.txt [deleted file] blob | history
satPlan2006/include/README-solvers.txt [deleted file] blob | history
satPlan2006/include/SatPlan.cpp [deleted file] blob | history
satPlan2006/include/SatzRandSolver.cpp [deleted file] blob | history
satPlan2006/include/SatzRandSolver.h [deleted file] blob | history
satPlan2006/include/SiegeSolver.cpp [deleted file] blob | history
satPlan2006/include/SiegeSolver.h [deleted file] blob | history
satPlan2006/include/SingletonType.h [deleted file] blob | history
satPlan2006/include/SolverInterface.cpp [deleted file] blob | history
satPlan2006/include/SolverInterface.h [deleted file] blob | history
satPlan2006/include/SolverRevisions.txt [deleted file] blob | history
satPlan2006/include/SolverTraits.h [deleted file] blob | history
satPlan2006/include/StandardFiles.h [deleted file] blob | history
satPlan2006/include/StringAlgorithms.cpp [deleted file] blob | history
satPlan2006/include/StringAlgorithms.h [deleted file] blob | history
satPlan2006/include/Timer.h [deleted file] blob | history
satPlan2006/include/Typify.h [deleted file] blob | history
satPlan2006/include/bb.h [deleted file] blob | history
satPlan2006/include/bin/SatELiteGTI [deleted file] blob | history
satPlan2006/include/bin/SatELite_release [deleted file] blob | history
satPlan2006/include/bin/SiegeWrapper.pl [deleted file] blob | history
satPlan2006/include/bin/SiegeWrapper_orig.pl [deleted file] blob | history
satPlan2006/include/bin/SolverRevisions.txt [deleted file] blob | history
satPlan2006/include/bin/bb [deleted file] blob | history
satPlan2006/include/bin/berkmin561-linux [deleted file] blob | history
satPlan2006/include/bin/jerusat1.3 [deleted file] blob | history
satPlan2006/include/bin/license.txt [deleted file] blob | history
satPlan2006/include/bin/minisat_static [deleted file] blob | history
satPlan2006/include/bin/satplan [deleted file] blob | history
satPlan2006/include/bin/satz-rand [deleted file] blob | history
satPlan2006/include/bin/siege_v4 [deleted file] blob | history
satPlan2006/include/bin/test.sh [deleted file] blob | history
satPlan2006/include/cnfout.c [deleted file] blob | history
satPlan2006/include/cnfout.h [deleted file] blob | history
satPlan2006/include/common.h [deleted file] blob | history
satPlan2006/include/graph.c [deleted file] blob | history
satPlan2006/include/graph.h [deleted file] blob | history
satPlan2006/include/instantiateI.c [deleted file] blob | history
satPlan2006/include/instantiateI.h [deleted file] blob | history
satPlan2006/include/instantiateII.c [deleted file] blob | history
satPlan2006/include/instantiateII.h [deleted file] blob | history
satPlan2006/include/lex-fct_pddl.l [deleted file] blob | history
satPlan2006/include/lex-ops_pddl.l [deleted file] blob | history
satPlan2006/include/lex.fct_pdddl.c [deleted file] blob | history
satPlan2006/include/lex.fct_pddl.c [deleted file] blob | history
satPlan2006/include/lex.ops_pddl.c [deleted file] blob | history
satPlan2006/include/main.c [deleted file] blob | history
satPlan2006/include/memory.c [deleted file] blob | history
satPlan2006/include/memory.h [deleted file] blob | history
satPlan2006/include/output.c [deleted file] blob | history
satPlan2006/include/output.h [deleted file] blob | history
satPlan2006/include/parse.c [deleted file] blob | history
satPlan2006/include/parse.h [deleted file] blob | history
satPlan2006/include/run.sh [deleted file] blob | history
satPlan2006/include/scan-fct_pddl.tab.c [deleted file] blob | history
satPlan2006/include/scan-fct_pddl.y [deleted file] blob | history
satPlan2006/include/scan-ops_pddl.tab.c [deleted file] blob | history
satPlan2006/include/scan-ops_pddl.y [deleted file] blob | history
satPlan2006/include/setup.sh [deleted file] blob | history
sypet [new submodule] blob
Unnamed repository; edit this file 'description' to name the repository.