aureooms-js-2sat (bower): :satisfied: 2-Satisfiability library for JavaScript
Keywords: 2-sat|agpl|algorithms|computer-science|graphs|javascript|polynomial-time|reductions|sat-solver