Development mirror of Jussi Rintanen’s planner Madagascar https://research.ics.aalto.fi/software/sat/madagascar/
Patrick Lühne 103c4d4481
Add signal handler for SIGTERM
3 weeks ago
Cground.c Initial commit with Madagascar 2016-01-22 1 month ago
Makefile Remove memory statistics for interrupt safety 3 weeks ago
README Initial commit with Madagascar 2016-01-22 1 month ago
asyntax.c Initial commit with Madagascar 2016-01-22 1 month ago
asyntax.h Initial commit with Madagascar 2016-01-22 1 month ago
build Initial commit with Madagascar 2016-01-22 1 month ago
clausedb.c Initial commit with Madagascar 2016-01-22 1 month ago
clausedb.h Initial commit with Madagascar 2016-01-22 1 month ago
clausesets.c Print more statistics 1 month ago
clausesets.h Initial commit with Madagascar 2016-01-22 1 month ago
cleanup.c Initial commit with Madagascar 2016-01-22 1 month ago
cleanup.h Initial commit with Madagascar 2016-01-22 1 month ago
dimacs.h Initial commit with Madagascar 2016-01-22 1 month ago
dimacsinput.c Initial commit with Madagascar 2016-01-22 1 month ago
dimacsinput.h Initial commit with Madagascar 2016-01-22 1 month ago
ground.c Initial commit with Madagascar 2016-01-22 1 month ago
heuristics2.c Initial commit with Madagascar 2016-01-22 1 month ago
interface.h Initial commit with Madagascar 2016-01-22 1 month ago
intsets.c Initial commit with Madagascar 2016-01-22 1 month ago
intsets.h Initial commit with Madagascar 2016-01-22 1 month ago
invariants.c Fix syntax error 1 month ago
invariants.h Initial commit with Madagascar 2016-01-22 1 month ago
learn2.c Initial commit with Madagascar 2016-01-22 1 month ago
lexer.lex Initial commit with Madagascar 2016-01-22 1 month ago
main.c Add signal handler for SIGTERM 3 weeks ago
main.h Initial commit with Madagascar 2016-01-22 1 month ago
makedate Initial commit with Madagascar 2016-01-22 1 month ago
operators.c Initial commit with Madagascar 2016-01-22 1 month ago
operators.h Initial commit with Madagascar 2016-01-22 1 month ago
ordintsets.c Initial commit with Madagascar 2016-01-22 1 month ago
ordintsets.h Initial commit with Madagascar 2016-01-22 1 month ago
parser.y Initial commit with Madagascar 2016-01-22 1 month ago
plan Initial commit with Madagascar 2016-01-22 1 month ago
printplan.c Initial commit with Madagascar 2016-01-22 1 month ago
printplan.h Initial commit with Madagascar 2016-01-22 1 month ago
scc.c Initial commit with Madagascar 2016-01-22 1 month ago
scc.h Initial commit with Madagascar 2016-01-22 1 month ago
shortcuts.c Initial commit with Madagascar 2016-01-22 1 month ago
tables.c Initial commit with Madagascar 2016-01-22 1 month ago
tables.h Initial commit with Madagascar 2016-01-22 1 month ago
translate2sat.c Initial commit with Madagascar 2016-01-22 1 month ago
translate2sat.h Initial commit with Madagascar 2016-01-22 1 month ago
varvals.c Initial commit with Madagascar 2016-01-22 1 month ago
zPOSTF Initial commit with Madagascar 2016-01-22 1 month ago
zPREF Initial commit with Madagascar 2016-01-22 1 month ago

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.