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
8 months ago
Cground.c Initial commit with Madagascar 2016-01-22 8 months ago
Makefile Remove memory statistics for interrupt safety 8 months ago
README Initial commit with Madagascar 2016-01-22 8 months ago
asyntax.c Initial commit with Madagascar 2016-01-22 8 months ago
asyntax.h Initial commit with Madagascar 2016-01-22 8 months ago
build Initial commit with Madagascar 2016-01-22 8 months ago
clausedb.c Initial commit with Madagascar 2016-01-22 8 months ago
clausedb.h Initial commit with Madagascar 2016-01-22 8 months ago
clausesets.c Print more statistics 8 months ago
clausesets.h Initial commit with Madagascar 2016-01-22 8 months ago
cleanup.c Initial commit with Madagascar 2016-01-22 8 months ago
cleanup.h Initial commit with Madagascar 2016-01-22 8 months ago
dimacs.h Initial commit with Madagascar 2016-01-22 8 months ago
dimacsinput.c Initial commit with Madagascar 2016-01-22 8 months ago
dimacsinput.h Initial commit with Madagascar 2016-01-22 8 months ago
ground.c Initial commit with Madagascar 2016-01-22 8 months ago
heuristics2.c Initial commit with Madagascar 2016-01-22 8 months ago
interface.h Initial commit with Madagascar 2016-01-22 8 months ago
intsets.c Initial commit with Madagascar 2016-01-22 8 months ago
intsets.h Initial commit with Madagascar 2016-01-22 8 months ago
invariants.c Fix syntax error 8 months ago
invariants.h Initial commit with Madagascar 2016-01-22 8 months ago
learn2.c Initial commit with Madagascar 2016-01-22 8 months ago
lexer.lex Initial commit with Madagascar 2016-01-22 8 months ago
main.c Add signal handler for SIGTERM 8 months ago
main.h Initial commit with Madagascar 2016-01-22 8 months ago
makedate Initial commit with Madagascar 2016-01-22 8 months ago
operators.c Initial commit with Madagascar 2016-01-22 8 months ago
operators.h Initial commit with Madagascar 2016-01-22 8 months ago
ordintsets.c Initial commit with Madagascar 2016-01-22 8 months ago
ordintsets.h Initial commit with Madagascar 2016-01-22 8 months ago
parser.y Initial commit with Madagascar 2016-01-22 8 months ago
plan Initial commit with Madagascar 2016-01-22 8 months ago
printplan.c Initial commit with Madagascar 2016-01-22 8 months ago
printplan.h Initial commit with Madagascar 2016-01-22 8 months ago
scc.c Initial commit with Madagascar 2016-01-22 8 months ago
scc.h Initial commit with Madagascar 2016-01-22 8 months ago
shortcuts.c Initial commit with Madagascar 2016-01-22 8 months ago
tables.c Initial commit with Madagascar 2016-01-22 8 months ago
tables.h Initial commit with Madagascar 2016-01-22 8 months ago
translate2sat.c Initial commit with Madagascar 2016-01-22 8 months ago
translate2sat.h Initial commit with Madagascar 2016-01-22 8 months ago
varvals.c Initial commit with Madagascar 2016-01-22 8 months ago
zPOSTF Initial commit with Madagascar 2016-01-22 8 months ago
zPREF Initial commit with Madagascar 2016-01-22 8 months 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.