{"name":"logic-solver","version":"2.0.0","description":"General satisfiability solver for logic problems","main":"logic-solver.js","repository":{"type":"git","url":"git://github.com/meteor/logic-solver.git"},"keywords":["sat","solver","logic","constraint"],"dependencies":{"underscore":"^1.7.0"},"author":{"name":"David Greenspan","email":"david@meteor.com"},"license":"MIT","bugs":{"url":"https://github.com/meteor/logic-solver/issues"},"gitHead":"2719e656323131585eb8027782822fa2673d0c06","homepage":"https://github.com/meteor/logic-solver","_id":"logic-solver@2.0.0","scripts":{},"_shasum":"a45365cdc3e8e0208562d3e5210db3cfde988c4d","_from":".","_npmVersion":"2.1.17","_nodeVersion":"0.10.36","_npmUser":{"name":"dgreensp","email":"davidgreenspan@gmail.com"},"dist":{"shasum":"a45365cdc3e8e0208562d3e5210db3cfde988c4d","size":99737,"noattachment":false,"key":"/logic-solver/-/logic-solver-2.0.0.tgz","tarball":"http://registry.cnpm.dingdandao.com/logic-solver/download/logic-solver-2.0.0.tgz"},"maintainers":[{"name":"dgreensp","email":"davidgreenspan@gmail.com"}],"directories":{},"publish_time":1430955654184,"_cnpm_publish_time":1430955654184,"_hasShrinkwrap":false,"dist-tags":{"latest":"2.0.1"}}