Assumption Test This is a minimal example for using candy-kingdom to test for satisfiability for a formula using assumptions. Usage 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