patrick/madagascar
1
0
Fork 0
Code Issues Pull Requests Releases Activity
Development mirror of Jussi Rintanen’s planner Madagascar https://research.ics.aalto.fi/software/sat/madagascar/
2 Commits 2 Branches 0 Tags 135 KiB
C 96.4%
Yacc 1.7%
Lex 1%
Makefile 0.7%
C++ 0.2%
ffe5ae8914
Go to file
Patrick Lühne ffe5ae8914
Make Mp the default planner
2018-01-25 16:56:43 +01:00
asyntax.c Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
asyntax.h Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
build Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
Cground.c Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
clausedb.c Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
clausedb.h Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
clausesets.c Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
clausesets.h Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
cleanup.c Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
cleanup.h Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
dimacs.h Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
dimacsinput.c Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
dimacsinput.h Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
ground.c Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
heuristics2.c Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
interface.h Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
intsets.c Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
intsets.h Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
invariants.c Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
invariants.h Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
learn2.c Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
lexer.lex Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
main.c Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
main.h Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
makedate Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
Makefile Make Mp the default planner 2018-01-25 16:56:43 +01:00
operators.c Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
operators.h Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
ordintsets.c Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
ordintsets.h Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
parser.y Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
plan Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
printplan.c Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
printplan.h Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
README Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
scc.c Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
scc.h Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
shortcuts.c Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
tables.c Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
tables.h Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
translate2sat.c Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
translate2sat.h Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
varvals.c Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
zPOSTF Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00
zPREF Initial commit with Madagascar 2016-01-22 2018-01-25 16:51:58 +01:00

README 

2010, 2011, 2012, 2013, 2014, 2015 (C) Jussi Rintanen


Compilation:
   Choose between M, Mp and MpC by commenting/uncommenting the lines for
   VERSION and EXECUTABLE in Makefile
   make

The command line for the executables consist of a number of options and
the names of input file names. With an empty command line you get the list
of options together with information on the default configuration.

MpC often consumes all available memory, so it is critical to make sure that
-m N flag is set sensibly. Too high values lead to paging, and too low values
may mean that plans are not found. The default can be adjusted in main.c as
the default value of the flagMemoryLimit variable.