It is a collection of problems solved primarily using SAT solvers. For every problem, there is an accompanying video — not quite a tutorial, not quite a dev-log — something in between.
Language(s): English
Programming Languages and Technologies: Python, PySAT, Z3, March_cu, DRAT-trim, DepQBF
Member(s): Taha Rostami