@aureooms/js-2sat (npm): 2-Satisfiability code bricks for JavaScript
Keywords: 2|2SAT|bricks|ender|javascript|js|satisfiability|two