GitHub - squaresmini/SAC_Compiler: Compiler for soft always constraint in planning

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
handling		handling
pddl_parser		pddl_parser
tpp_test		tpp_test
trucks_test		trucks_test
LICENSE		LICENSE
README.txt		README.txt
adl2strips-linux		adl2strips-linux
domain.pddl		domain.pddl
facts.pddl		facts.pddl
sac_compiler.py		sac_compiler.py
script_batch.py		script_batch.py
temp_dom.pddl		temp_dom.pddl
temp_prob.pddl		temp_prob.pddl

Repository files navigation

SAC_Compiler
============

Compiler for soft always constraint in planning.

python-parsley required.

Usage: python sac_compiler.py -d <directory> -o <operators-file> -f <fact-file> -r <result-string>

The result will be in the folder "output" inside <directory>