A basic SAT solver.
Implementation of RFC 9202 with optional c3dc extensions
Seafair aus AI x City 2023
An updated version of the game LilyCafe
