This is a minimal example for using candy-kingdom to test for satisfiability for a formula using assumptions.
- To fetch candy-kingdom and build the test case using its sources.
bash fetch_and_build.sh
- To execute the test case
bash test.sh
schick/assumption-test
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|