picosat (npm): picosat SAT solver
Keywords: picosat|sat-solver|solver|sat