{"_id":"2-sat","_rev":"11-2e1e0f2e8a50c8b6d3486237dc16c624","name":"2-sat","description":"2SAT solver","dist-tags":{"latest":"1.0.1"},"versions":{"0.0.0":{"name":"2-sat","version":"0.0.0","description":"2SAT solver","main":"2sat.js","directories":{"test":"test"},"dependencies":{"binary-search-bounds":"~0.1.0","strongly-connected-components":"~0.0.0"},"devDependencies":{"tape":"~2.1.0","tap":"~0.4.4"},"scripts":{"test":"tap test/*.js"},"repository":{"type":"git","url":"git://github.com/mikolalysenko/2-sat.git"},"keywords":["2SAT","2","satisfiability","boolean","nl","complete"],"author":{"name":"Mikola Lysenko"},"license":"MIT","bugs":{"url":"https://github.com/mikolalysenko/2-sat/issues"},"_id":"2-sat@0.0.0","dist":{"shasum":"6d48fa8d57a9a39690a239201b52a185f2a9394c","tarball":"https://registry.npmjs.org/2-sat/-/2-sat-0.0.0.tgz","integrity":"sha512-aHlIWV4ROdqjT1tWIvZNPorsTS0w0EsVsuPBBeeZtwG8xg8kS+KccHXLYaxZnMq3WP5Kd0e+RbW6bCel1po6lQ==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQDp43OJcskrYnWAS+DeRQB99drEMfOY7MOxBHSEqCRPNQIgZXKi/0koKwk+wGFMr9bK3TsDFP5ofu3uwiATBYUXFpQ="}]},"_from":".","_npmVersion":"1.3.8","_npmUser":{"name":"mikolalysenko","email":"mikolalysenko@gmail.com"},"maintainers":[{"name":"mikolalysenko","email":"mikolalysenko@gmail.com"}]},"0.0.1":{"name":"2-sat","version":"0.0.1","description":"2SAT solver","main":"2sat.js","directories":{"test":"test"},"dependencies":{"binary-search-bounds":"~0.1.0","strongly-connected-components":"~0.0.0"},"devDependencies":{"tape":"~2.1.0","tap":"~0.4.4"},"scripts":{"test":"tap test/*.js"},"repository":{"type":"git","url":"git://github.com/mikolalysenko/2-sat.git"},"keywords":["2SAT","2","satisfiability","boolean","nl","complete"],"author":{"name":"Mikola Lysenko"},"license":"MIT","bugs":{"url":"https://github.com/mikolalysenko/2-sat/issues"},"_id":"2-sat@0.0.1","dist":{"shasum":"f362d15207b45f222c397c0d9a703a64b4a3d503","tarball":"https://registry.npmjs.org/2-sat/-/2-sat-0.0.1.tgz","integrity":"sha512-5MZN9u95UDcXTzASX400boPrZIaYbOAzrxBqozFCBnMoPti8XY/MqrCuypSLFxpufIoDndqU24cjyAPpmgeLmg==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIHL1KRQS+cGMyeoT3AsbUpVgKvdf3OvRpxs7206CHcrEAiEA1OVj1gVrCThaRO2C7g9MY61DMHLJ2baExxRWCqQjjMo="}]},"_from":".","_npmVersion":"1.3.8","_npmUser":{"name":"mikolalysenko","email":"mikolalysenko@gmail.com"},"maintainers":[{"name":"mikolalysenko","email":"mikolalysenko@gmail.com"}]},"1.0.0":{"name":"2-sat","version":"1.0.0","description":"2SAT solver","main":"2sat.js","directories":{"test":"test"},"dependencies":{"binary-search-bounds":"^1.0.0","strongly-connected-components":"^1.0.1"},"devDependencies":{"tape":"^2.1.0"},"scripts":{"test":"tape test/*.js"},"repository":{"type":"git","url":"git://github.com/mikolalysenko/2-sat.git"},"keywords":["2SAT","2","satisfiability","boolean","nl","complete"],"author":{"name":"Mikola Lysenko"},"license":"MIT","bugs":{"url":"https://github.com/mikolalysenko/2-sat/issues"},"homepage":"https://github.com/mikolalysenko/2-sat","_id":"2-sat@1.0.0","dist":{"shasum":"4fbfd48f38dcaf163695e618801985d4b570f767","tarball":"https://registry.npmjs.org/2-sat/-/2-sat-1.0.0.tgz","integrity":"sha512-XlYYVgEJjzbIP+3kZblGsK+LZNQaB2uqVkf0Dwe1RcDdcyyGv+ivGKSydrCFMw6d43sgXoXgYSQeHVxMAxAANA==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIAGUQpk5wHgHWsOXLwTPyJFAYUoxciNCng7TXjIgz44QAiEArZN4NJy0Kh62+l5ZPiR9brnSce4LTmUxDpntJv6vXco="}]},"_from":".","_npmVersion":"1.4.3","_npmUser":{"name":"mikolalysenko","email":"mikolalysenko@gmail.com"},"maintainers":[{"name":"mikolalysenko","email":"mikolalysenko@gmail.com"}]},"1.0.1":{"name":"2-sat","version":"1.0.1","description":"2SAT solver","main":"2sat.js","directories":{"test":"test"},"dependencies":{"binary-search-bounds":"^1.0.0","strongly-connected-components":"^1.0.1"},"devDependencies":{"tape":"^2.1.0"},"scripts":{"test":"tape test/*.js"},"repository":{"type":"git","url":"git://github.com/mikolalysenko/2-sat.git"},"keywords":["2SAT","2","satisfiability","boolean","nl","complete"],"author":{"name":"Mikola Lysenko"},"license":"MIT","bugs":{"url":"https://github.com/mikolalysenko/2-sat/issues"},"homepage":"https://github.com/mikolalysenko/2-sat","_id":"2-sat@1.0.1","dist":{"shasum":"55f1ff3dc348b02b9a27e0e1c487174ac75f8ae9","tarball":"https://registry.npmjs.org/2-sat/-/2-sat-1.0.1.tgz","integrity":"sha512-uWwdYgdfDcGEfGDW8kOI3yPjuCI2GHzSEPgM+KeuJlL94AUPRCo0TUSazl7LLWYc7HDdu9Qt4k2TAb4qZ4tw9w==","signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIGClS784dFpCDsTy/VVApiJWdrTdnWEumFxn7Cwm9WOlAiEAjKLTHZ/sfIBYuBbQR8BqjqxpBpBXnz2GqZlThu6J06c="}]},"_from":".","_npmVersion":"1.4.3","_npmUser":{"name":"mikolalysenko","email":"mikolalysenko@gmail.com"},"maintainers":[{"name":"mikolalysenko","email":"mikolalysenko@gmail.com"}]}},"readme":"2-sat\n=====\n[2SAT](http://en.wikipedia.org/wiki/2-satisfiability) is a restricted version of the boolean satisfiability problem where the number of variables per clause is at most 2.  Works both in node.js and in the browser using browserify.\n\n## Example\n\n```javascript\nvar twoSat = require(\"2-sat\")\n\n//Solve problem:\n//\n//    (x1 | !x2) & (x3 | x1) & (x3 | x2)\n//\nconsole.log(twoSat(3, [[1, -2], [3, 1], [3,2]]))\n```\n\n## API\n\n### `require(\"2-sat\")(numVariables, clauses)`\nFinds a satisfying assignment for a 2SAT problem written in conjunctive normal form.  If no assignment is possible returns `false`.\n\n* `numVariables` is the number of variables\n* `clauses` is a list of binary clauses.  Variables are indexed in clauses starting at `1` and negative values indicate negation.\n\n**Returns** A vector of assignments to the variables of the clause.  If problem is not satisfiable, returns `false`\n\n## Credits\n(c) 2013 Mikola Lysenko. MIT License","maintainers":[{"name":"mikolalysenko","email":"mikolalysenko@gmail.com"}],"time":{"modified":"2022-06-12T14:06:23.814Z","created":"2013-11-01T14:51:39.148Z","0.0.0":"2013-11-01T14:51:40.561Z","0.0.1":"2013-11-01T20:47:03.585Z","1.0.0":"2014-05-15T17:59:12.656Z","1.0.1":"2014-05-15T18:01:41.493Z"},"author":{"name":"Mikola Lysenko"},"repository":{"type":"git","url":"git://github.com/mikolalysenko/2-sat.git"},"homepage":"https://github.com/mikolalysenko/2-sat","keywords":["2SAT","2","satisfiability","boolean","nl","complete"],"bugs":{"url":"https://github.com/mikolalysenko/2-sat/issues"},"license":"MIT","readmeFilename":"README.md"}