A basic SAT solver.
Implementation of RFC 9202 with optional c3dc extensions
An updated version of the game LilyCafe
