aureooms-js-sat (bower): :satisfied: Boolean formula satisfiability algorithms for JavaScript
Keywords: agpl|algorithms|computer-science|javascript|k-sat|np-complete|reductions|sat-solver|sat0w