QuarkSAT A complete SAT solver implemented on few lines of C code. It is of constant and linear spatial complexity, use as a skeleton for your SAT solver. gcc|clang|icc|pgc quark_sat.c -std=c89 -o quark_sat