squaresmini/SAC_Compiler
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
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>