aureooms-js-sat (npm): Satisfiability code bricks for JavaScript
Keywords: NP|SAT|bricks|complete|complexity|ender|javascript|js|satisfiability