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
-
Notifications
You must be signed in to change notification settings - Fork 0
schick/assumption-test
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published