@aureooms/js-2sat 2-Satisfiability library for JavaScript. See docs. Parent is @aureooms/js-algorithms.