sat A SAT solver written in Nim. import sat/[sat, satvars] Note: Remember that even though SAT claims to support the OR operator, it actually doesn't and only supports it if you use it to build up an implication (A -> B == ~ A | B)