Edusat A basic CDCL sat solver for educational purposes. To build: make To run on all test cases: make run To run on individual test case: ./edusat [path-to-test-case]