Completely agree here, the entire 'solver' is a library there. However, it does show how cool and versatile SAT solvers are for people who haven't used or seen

Completely agree here, the entire 'solver' is a library there. However, it does show how cool and versatile SAT solvers are for people who haven't used or seen them yet.