Development mirror of Jussi Rintanen’s planner Madagascar https://research.ics.aalto.fi/software/sat/madagascar/
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
Patrick Lühne 103c4d4481
Add signal handler for SIGTERM
3 years ago
Cground.c Initial commit with Madagascar 2016-01-22 3 years ago
Makefile Remove memory statistics for interrupt safety 3 years ago
README Initial commit with Madagascar 2016-01-22 3 years ago
asyntax.c Initial commit with Madagascar 2016-01-22 3 years ago
asyntax.h Initial commit with Madagascar 2016-01-22 3 years ago
build Initial commit with Madagascar 2016-01-22 3 years ago
clausedb.c Initial commit with Madagascar 2016-01-22 3 years ago
clausedb.h Initial commit with Madagascar 2016-01-22 3 years ago
clausesets.c Print more statistics 3 years ago
clausesets.h Initial commit with Madagascar 2016-01-22 3 years ago
cleanup.c Initial commit with Madagascar 2016-01-22 3 years ago
cleanup.h Initial commit with Madagascar 2016-01-22 3 years ago
dimacs.h Initial commit with Madagascar 2016-01-22 3 years ago
dimacsinput.c Initial commit with Madagascar 2016-01-22 3 years ago
dimacsinput.h Initial commit with Madagascar 2016-01-22 3 years ago
ground.c Initial commit with Madagascar 2016-01-22 3 years ago
heuristics2.c Initial commit with Madagascar 2016-01-22 3 years ago
interface.h Initial commit with Madagascar 2016-01-22 3 years ago
intsets.c Initial commit with Madagascar 2016-01-22 3 years ago
intsets.h Initial commit with Madagascar 2016-01-22 3 years ago
invariants.c Fix syntax error 3 years ago
invariants.h Initial commit with Madagascar 2016-01-22 3 years ago
learn2.c Initial commit with Madagascar 2016-01-22 3 years ago
lexer.lex Initial commit with Madagascar 2016-01-22 3 years ago
main.c Add signal handler for SIGTERM 3 years ago
main.h Initial commit with Madagascar 2016-01-22 3 years ago
makedate Initial commit with Madagascar 2016-01-22 3 years ago
operators.c Initial commit with Madagascar 2016-01-22 3 years ago
operators.h Initial commit with Madagascar 2016-01-22 3 years ago
ordintsets.c Initial commit with Madagascar 2016-01-22 3 years ago
ordintsets.h Initial commit with Madagascar 2016-01-22 3 years ago
parser.y Initial commit with Madagascar 2016-01-22 3 years ago
plan Initial commit with Madagascar 2016-01-22 3 years ago
printplan.c Initial commit with Madagascar 2016-01-22 3 years ago
printplan.h Initial commit with Madagascar 2016-01-22 3 years ago
scc.c Initial commit with Madagascar 2016-01-22 3 years ago
scc.h Initial commit with Madagascar 2016-01-22 3 years ago
shortcuts.c Initial commit with Madagascar 2016-01-22 3 years ago
tables.c Initial commit with Madagascar 2016-01-22 3 years ago
tables.h Initial commit with Madagascar 2016-01-22 3 years ago
translate2sat.c Initial commit with Madagascar 2016-01-22 3 years ago
translate2sat.h Initial commit with Madagascar 2016-01-22 3 years ago
varvals.c Initial commit with Madagascar 2016-01-22 3 years ago
zPOSTF Initial commit with Madagascar 2016-01-22 3 years ago
zPREF Initial commit with Madagascar 2016-01-22 3 years 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.