{"_id":"@educorvi/rita-smt","_rev":"12-6f59c41f469c344365dd9ebc3faec974","name":"@educorvi/rita-smt","dist-tags":{"latest":"2.1.0"},"versions":{"1.0.0":{"name":"@educorvi/rita-smt","version":"1.0.0","author":"Julian Pollinger","license":"MIT","_id":"@educorvi/rita-smt@1.0.0","maintainers":[{"name":"neferin","email":"julian.pollinger+dev@jp-studios.de"}],"bin":"dist/src/bin.js","dist":{"shasum":"e3ae53080e0a0dc8b6484943892681478ccf9732","tarball":"https://registry.npmjs.org/@educorvi/rita-smt/-/rita-smt-1.0.0.tgz","fileCount":8,"integrity":"sha512-Gaq+WXQq4RBJyrPqBw+Fid/5mb2korZcT9t43LoDO+sBRX14v6elbqGK2DfjzcPLyPs0aJrbRdI1KGqHnlHEqQ==","signatures":[{"sig":"MEYCIQDmzUysD3AEejTCzI0mk73spTmPL4D9GETEzux4iZvbdAIhALvgXppWsrltsy87nouacg7at/fGuj5cf4P3ddGk5cwL","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":10916,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJiatinACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmqDkA/+OYUwclEy2DqLMS8FrJzjeQk5qgRGNtC1aiGTVCLV+9MHuzmQ\r\nldNHVoGKw4Ol/meuAYWNcjsaN510SBHKDjmSkEy+K/WK8708HmQJRko2A4/J\r\nOBenHsJIWnXHGef5QAOd6iUwc823qmcKNXb6Fc5bEwejTKOUsIprA9Fci3HM\r\nofaeDsO/H0dJJFXSXnfyPpaCnDAVs2WzN4Pe0pdeWJoUzG9RZ/fEOqPvMCsv\r\nlLVhGL4una3kQ/t2DC1DTPEsezR4esEwR2h/0J/J5c3cM+t+EJLHWwNT023G\r\njDo4yrV5cdclcXCIFIM5jWXL8d+QaFhQbuWrC7LiDEKYOJuU0OxXZj4YNNHt\r\nKwRIRvVYHM0Ajo1VcOPcvXnCERotPLw0Jth4SXfnyFR3SdfMxTF0iFMzqrHH\r\nYnMk2vzrC3xXbWWqZSf8fxMx0PZq29mIjEzlinN1tj7dv4PFs8oSxKjYvcYl\r\nz2wWUwfNL/Bg1PHtU656j/lLMACp6fZwCHpdCobhlbPLgPXGz3s+cUBoHIHt\r\nIOoCXwPNhl1planHVvllX2vfJIiBnfyDL2xPBSq4VMTYKn5XdtaQ7EOncabt\r\nVdrNPTzhFNPWFpKzwKallVnfdBVzyVz8/pj/oKYr8XowYoUVcadVxU4GPqxS\r\n4iLNZbX6a5FDujDIeXiFqdEBZQv5sNcgqi4=\r\n=H/Sq\r\n-----END PGP SIGNATURE-----\r\n"},"main":"dist/src/index.js","gitHead":"198deb6c7ee432363a9c8a807cb7360db3bfa975","scripts":{"build":"tsc","runbin":"ts-node src/bin.ts","semantic-release":"semantic-release"},"typings":"dist/src/index.d.ts","_npmUser":{"name":"neferin","email":"julian.pollinger+dev@jp-studios.de"},"repository":"https://github.com/educorvi/rita-smt","directories":{},"dependencies":{"commander":"^9.2.0","command-exists":"^1.2.9","@educorvi/smtlib":"^1.0.0"},"_hasShrinkwrap":false,"devDependencies":{"rollup":"^2.70.2","typescript":"^4.6.3","@educorvi/rita":">=3.1.1 <4","rollup-plugin-ts":"^2.0.7","semantic-release":"^19.0.2","@rollup/plugin-json":"^4.1.0","rollup-plugin-terser":"^7.0.2","@semantic-release/git":"^10.0.1","@types/command-exists":"^1.2.0","@rollup/plugin-commonjs":"^21.1.0","semantic-release-monorepo":"^7.0.5","@rollup/plugin-node-resolve":"^13.2.1","@semantic-release/changelog":"^6.0.1"},"peerDependencies":{"@educorvi/rita":">=3.1.1 <4"},"_npmOperationalInternal":{"tmp":"tmp/rita-smt_1.0.0_1651169447360_0.7721900762184639","host":"s3://npm-registry-packages"}},"1.1.0":{"name":"@educorvi/rita-smt","version":"1.1.0","author":{"name":"Julian Pollinger"},"license":"MIT","_id":"@educorvi/rita-smt@1.1.0","maintainers":[{"name":"neferin","email":"julian.pollinger+dev@jp-studios.de"}],"homepage":"https://github.com/educorvi/rita-smt#readme","bugs":{"url":"https://github.com/educorvi/rita-smt/issues"},"bin":{"rita-smt":"dist/src/bin.js"},"dist":{"shasum":"112b217c5d9e8a3e4d1d32f6a39fc80d5d49319f","tarball":"https://registry.npmjs.org/@educorvi/rita-smt/-/rita-smt-1.1.0.tgz","fileCount":8,"integrity":"sha512-4sniRO4iJze9BK5hiUxz9d1BohFKYlV5HMSZq0mSSvRHcDxNqiDwIELo7yYMj5OR4YsSo+QBddqOBO5CpfhBIA==","signatures":[{"sig":"MEUCICBTZAfhs9Ubkfb/KsMq5q9h1nhv9WDCObjxZX89pTDcAiEA3n+fKuLl1bbDyA56MCF/peXHTYsconsFKb1QNFIX9Vc=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":10912,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJiaupRACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2Vmr34w//d/wW5ZBSO/DYQNwORnoCuf6ecgtruYpwbexvXsCYbmhY9xbj\r\nILNkISVT8Aj9TSJmglRaOnYscRTwKKfucaFkNe/CCan6Xi3w8HM1q+9wqMNA\r\npleezPpjOp2ahsKU04gQKnZzOVpUo3hwYByetAf+DW0JEj+OD1/u8qwAPVyp\r\nOwOvhqobM3dPhAG5XEY5u5rYiuiKRF1NcdGcUzoM/ENwBFCjInFkKonM1rxD\r\nnfsTUMPh+C+iuZCfyMcQFDFdTMwjULr//HMl8Z3bIdgG+yiV9loFG0vYGB/F\r\n590EkXFv8zB2CDc8tQgXcyQpp6rNhMm5uJFXGwAyw82tEFpMSOixnMy2Mten\r\nlUoMkLuL0G3D/ZwTURjuTTx1B0B8mxjJbogJwH9FJYLSu53MNSU02JtTIM/B\r\n5tfVetixyNafPdmO+NXY1+JGHu+i84ST/BBhElvti4k3IcULYyczg9Jj4Zp0\r\nAFJMvF3aFqcwyZPZoEbBwqAlU3wxP3nbj/vFlN6rKfh3DhwXop8UmEhVS90L\r\neMhSWVht9tvtGFSh8qLXl9kdgPi2WrO0J1exPOqPpY6zLdOzkYyd6gkyToXx\r\n50IXS5+HoNUXDQIs/Qkf8h0JWGsM1inSLWeT7T2Q7YhXk4qRdfRL798leOSK\r\n53yQ6ALxVjdqsnItZnrFHXsq0MZSmfJhSrg=\r\n=6lib\r\n-----END PGP SIGNATURE-----\r\n"},"main":"dist/src/index.js","gitHead":"c36aafc298b96007101da23aa473ab9bb389aae4","scripts":{"build":"tsc","runbin":"ts-node src/bin.ts","semantic-release":"semantic-release"},"typings":"dist/src/index.d.ts","_npmUser":{"name":"neferin","email":"julian.pollinger+dev@jp-studios.de"},"repository":{"url":"git+https://github.com/educorvi/rita-smt.git","type":"git"},"_npmVersion":"8.8.0","directories":{},"_nodeVersion":"14.19.1","dependencies":{"commander":"^9.2.0","command-exists":"^1.2.9","@educorvi/smtlib":"^1.0.0"},"_hasShrinkwrap":false,"devDependencies":{"rollup":"^2.70.2","typescript":"^4.6.3","@educorvi/rita":">=3.1.1 <4","rollup-plugin-ts":"^2.0.7","semantic-release":"^19.0.2","@rollup/plugin-json":"^4.1.0","rollup-plugin-terser":"^7.0.2","@semantic-release/git":"^10.0.1","@types/command-exists":"^1.2.0","@rollup/plugin-commonjs":"^21.1.0","semantic-release-monorepo":"^7.0.5","@rollup/plugin-node-resolve":"^13.2.1","@semantic-release/changelog":"^6.0.1"},"peerDependencies":{"@educorvi/rita":">=3.1.1 <4"},"_npmOperationalInternal":{"tmp":"tmp/rita-smt_1.1.0_1651173969572_0.2694550342760429","host":"s3://npm-registry-packages"}},"1.1.1":{"name":"@educorvi/rita-smt","version":"1.1.1","author":{"name":"Julian Pollinger"},"license":"MIT","_id":"@educorvi/rita-smt@1.1.1","maintainers":[{"name":"neferin","email":"julian.pollinger+dev@jp-studios.de"}],"homepage":"https://github.com/educorvi/rita-smt#readme","bugs":{"url":"https://github.com/educorvi/rita-smt/issues"},"bin":{"rita-smt":"dist/src/bin.js"},"dist":{"shasum":"a57dee17bb9a04b3e53974929fe85054837d84b9","tarball":"https://registry.npmjs.org/@educorvi/rita-smt/-/rita-smt-1.1.1.tgz","fileCount":8,"integrity":"sha512-6Bc3UB/3lPTdGGz9Ct+PVk9MkdSVVOqN0/kuKYQKGo09F2+VOCt03KaJWYydSS801MKPgJog9xTlwOaTHq0T0Q==","signatures":[{"sig":"MEUCIEH0bIsROgpvo4inOdURJfbNwC/Qy0E3AEmey5W2F5+jAiEA/JBA7esmc503ijMSBcXmwfxbMcmT7zV5ivtGu8lEYlc=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":11036,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJiau1rACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmqYJg/+LsT0pIrudAo9KpCxti7pghyQ3UIM/aCPdvuELKd5gmCQbu1S\r\nBxWwcE0uDIseAXQxsDNE3tzZJSG0N9yFNtwC+/in/zFnDtQwleGcWrYmfsV0\r\nbn+PDHqNicZ5lEzABRU93wtpW7heNC8yBwJkXmyfNV5QfrMqZkKHh6S9nx1F\r\nMXtBuSTX1nuLWdUqryPBnRnfKR5UaAFuN29y7KyV07zp1Sa41QYl5NF0G3y0\r\nHowZTHeXXAOZ1SNpAGC3/pB2P1O6y2fICUhWhTE4ttowiytqfZRFkHAlEN5T\r\nWdyTzD2ssQHsxAMAbjXZkonXsBQfCWtLdkhAXSe2irHAS1gUjIauRPDfGJLl\r\nOF1ClkF60Lr2bd53Rc/1wkA4qRwMyPX13NTIBoBG93dUFI8smHmA8Wrhdnfm\r\nvd8PpV7HVbepe9MPX7cSeQRH+3Ae3UiyjaEMUlbwY/t/plUfE+zgOBVViMc9\r\nluNvHtis5+a7vgVp3xu6zdwLoT4L58sobuROSuex8Mx019A01WSb1d6d3fGY\r\naSv+cGZN6xAV+44QvHFObp2B78v5NsvjvPf7UqwPJMS0AZkSsMCQNOeEfe9a\r\nrxgDCFmO8aXLES/UfEu17+TPI9rr9tAoo98WtZd3hryOYSvOGqO5IZIOpVxs\r\ntxaG+gW+ZpV6lX7Qj9G9uUeNbx0VViEP8lk=\r\n=FN5O\r\n-----END PGP SIGNATURE-----\r\n"},"main":"dist/src/index.js","gitHead":"d5228591b13e5599901ee4dc82065a6ad257e865","scripts":{"build":"tsc","runbin":"ts-node src/bin.ts","semantic-release":"semantic-release"},"typings":"dist/src/index.d.ts","_npmUser":{"name":"neferin","email":"julian.pollinger+dev@jp-studios.de"},"repository":{"url":"git+https://github.com/educorvi/rita-smt.git","type":"git"},"_npmVersion":"8.8.0","directories":{},"_nodeVersion":"14.19.1","dependencies":{"commander":"^9.2.0","command-exists":"^1.2.9","@educorvi/smtlib":"^1.0.0"},"_hasShrinkwrap":false,"devDependencies":{"rollup":"^2.70.2","typescript":"^4.6.3","@educorvi/rita":">=3.1.1 <4","rollup-plugin-ts":"^2.0.7","semantic-release":"^19.0.2","@rollup/plugin-json":"^4.1.0","rollup-plugin-terser":"^7.0.2","@semantic-release/git":"^10.0.1","@types/command-exists":"^1.2.0","@semantic-release/exec":"^6.0.3","@rollup/plugin-commonjs":"^21.1.0","semantic-release-monorepo":"^7.0.5","@rollup/plugin-node-resolve":"^13.2.1","@semantic-release/changelog":"^6.0.1"},"peerDependencies":{"@educorvi/rita":">=3.1.1 <4"},"_npmOperationalInternal":{"tmp":"tmp/rita-smt_1.1.1_1651174763166_0.2342329332261175","host":"s3://npm-registry-packages"}},"1.1.2":{"name":"@educorvi/rita-smt","version":"1.1.2","author":{"name":"Julian Pollinger"},"license":"MIT","_id":"@educorvi/rita-smt@1.1.2","maintainers":[{"name":"neferin","email":"julian.pollinger+dev@jp-studios.de"}],"homepage":"https://github.com/educorvi/rita-smt#readme","bugs":{"url":"https://github.com/educorvi/rita-smt/issues"},"bin":{"rita-smt":"dist/src/bin.js"},"dist":{"shasum":"d3eebfa6f029ee41a33773b457ba6bc0a82ec39e","tarball":"https://registry.npmjs.org/@educorvi/rita-smt/-/rita-smt-1.1.2.tgz","fileCount":8,"integrity":"sha512-JX24HWOdzyfUE5V2OOWLOSKrspo3QXox3uSzoDKqcfnW47DcARFgUbbpbBl3oyJn+yI1x40bMTr8m+neja0tcQ==","signatures":[{"sig":"MEQCIBV3OT4SaXq0vzT+Vrn7q7xA1Y6ME+bhOK0PizZzt/ZLAiA/GrItFykaYJDbpxRfvbXIVQStVe08PhgQnnKxrGz52A==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":10239,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJibr9rACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmrlVQ//fQ1+awQnmni/3nFq9xJDFesE6Qd2OmHFf8VzUDegwYO16RSh\r\ncuolIpzaW3KpLQanQIskWaQPYjXlgK5yKuNfDeUVgpeiOtQW4fZuUofBVNkk\r\nkIJIz/3tIx6Z6bWZpyIDCnn84NDtNVl+8WtE4whVUKEzPX6gQFs0LZjskxYe\r\n2ku9Y4h/NmmM95nf3V08sX52z5y0uLCd7WCm1INmDdpn6m3gtFGMaLVb4J67\r\nnMZKmDroJQaOGWtm1ARJO3Lg35RSSAQ6gOYabVa3eMJ39FCl9GL5aJWfjCrj\r\nsAYhkx9HYQ8ZJgy1en3lGFc+Ww+rrm/UW3/0slSUhNas6uijGfqtes5H74v2\r\n/wbkhsalrVlTpnJSiE7z95eqjvfGyY2YTmolwEotISyrSIHN8/6QYOwzSBAs\r\nSqQan2XvwnICf0CRBSXivLhNS8vI8ozfoDYCIla+6jANZB8HDFy0+N+QvntZ\r\ntXoeORrCi5vuyXmMg2NNYwha7AN3OkMs8/AR+p083zPdIMtjj8DbEh8+asXN\r\nj575th66GQt1eeEj6BaETtTjM1xiELXGaSfCI6Hr+d879zoE99LuPjyo/FNs\r\niZwclXHezDDCtbXljWHg244RiCaeuyJpnK0hlm14ZHX4W9/BfpfTBzpfETGb\r\n+U6c3HKxm39SugKogjneEV22P4Y9jOi8U6k=\r\n=JnWe\r\n-----END PGP SIGNATURE-----\r\n"},"main":"dist/src/index.js","gitHead":"4b8b5721e650af2779566b28fa6410cf72fbdd93","scripts":{"build":"tsc","runbin":"ts-node src/bin.ts","semantic-release":"semantic-release"},"typings":"dist/src/index.d.ts","_npmUser":{"name":"neferin","email":"julian.pollinger+dev@jp-studios.de"},"repository":{"url":"git+https://github.com/educorvi/rita-smt.git","type":"git"},"_npmVersion":"8.8.0","description":"A module to test satisfiability of Rita rule sets.","directories":{},"_nodeVersion":"14.19.1","dependencies":{"commander":"^9.2.0","command-exists":"^1.2.9","@educorvi/smtlib":"^1.0.0"},"_hasShrinkwrap":false,"devDependencies":{"rollup":"^2.70.2","typescript":"^4.6.3","@educorvi/rita":">=3.1.1 <4","rollup-plugin-ts":"^2.0.7","semantic-release":"^19.0.2","@rollup/plugin-json":"^4.1.0","rollup-plugin-terser":"^7.0.2","@semantic-release/git":"^10.0.1","@types/command-exists":"^1.2.0","@semantic-release/exec":"^6.0.3","@rollup/plugin-commonjs":"^21.1.0","semantic-release-monorepo":"^7.0.5","@rollup/plugin-node-resolve":"^13.2.1","@semantic-release/changelog":"^6.0.1"},"peerDependencies":{"@educorvi/rita":">=3.1.1 <4"},"_npmOperationalInternal":{"tmp":"tmp/rita-smt_1.1.2_1651425131059_0.5163047110618351","host":"s3://npm-registry-packages"}},"1.1.3":{"name":"@educorvi/rita-smt","version":"1.1.3","author":{"name":"Julian Pollinger"},"license":"MIT","_id":"@educorvi/rita-smt@1.1.3","maintainers":[{"name":"neferin","email":"julian.pollinger+dev@jp-studios.de"}],"homepage":"https://github.com/educorvi/rita-smt#readme","bugs":{"url":"https://github.com/educorvi/rita-smt/issues"},"bin":{"rita-smt":"dist/src/bin.js"},"dist":{"shasum":"b7250ea7d55d02831e379acd14e443e210e36f21","tarball":"https://registry.npmjs.org/@educorvi/rita-smt/-/rita-smt-1.1.3.tgz","fileCount":8,"integrity":"sha512-ITXaGYqpR4mNobMSiV/egaufiWkfW3e5PcTluW215Hkv6cZXnxQU1LoKM0sVmEubQh4fWUhS2hCW33Fky69b5Q==","signatures":[{"sig":"MEUCIQDec3pPjuemjSC/dJC5xUNtVZmZ3FB3h28wKIgC0TSZKAIgR6fnTvDNvfCf5I+wh6DmVSLLVyRCBCZ4OfWbmBJ7Uoo=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":10380,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJib9R4ACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2Vmqoxw/9F2qNacYfUf+4u5Fq4OAaNcfIcVqznLm9DYtQizKW+QDh6UjX\r\ns5J89goxmKj/Psq6LavwT5dPoNIkOmJa0iq/Nzt+hnCqeZn9WR5spmIsEIGH\r\npyA9IMhyyfzrSpJl2uxJ/3+07sf89gM3ucyY9D+pyDplMzjD7y/OJP713fGk\r\nWnLn7k5svck80BVBnaFXwmS3XdYNs0+r6rNxPv0CL6D0LecIj4JTnjFGGung\r\ndWluMVxg9OhtFBITaBZN80al6HTgrLvBtrsrnhI0flOrqVSMYzVrQhfk/fwA\r\nOqolQ7pkfGLnUQSvPwlyajCoauAff2Wcf9pY/RYO4CpJMIB/3MFVHvz+VE5h\r\n6UqBIFY2xX+PGd5ghIb/2KXu5TGDUHHrBsQGlgtF8T5hESGAu5FcGQtzdupS\r\nbdeD1QzIEESZkVzDt2BJnU9dV8Fl/oYO2ppi27erzRHT44e5VBGLHUHoKEgF\r\n9gxn4fpOFu25kOXiBZupMnqu+t58/PUITv3KVjg4Bea0vPVWocP8PuFZi5UH\r\nMBpbas4ofzByGKY9HSNY2yHSm6z3BS6I5C3KP4LzAgUVQTUe6O+8WtJcHKqG\r\nBSK7e5dyCb2Fvbctvv/XSzYRdJk925qQ2lEDN9LIkAaUIe9jBZTkfYIqlZFP\r\ny/LNw1PvRkme9VL5F8jD6wDr3vziSl4BpAk=\r\n=SNuY\r\n-----END PGP SIGNATURE-----\r\n"},"main":"dist/src/index.js","gitHead":"be499585e65cc55e228dc6b12783b7e392833cb6","scripts":{"build":"tsc","runbin":"ts-node src/bin.ts","prepack":"npm run build","release":"yarn install && semantic-release -e semantic-release-monorepo"},"typings":"dist/src/index.d.ts","_npmUser":{"name":"neferin","email":"julian.pollinger+dev@jp-studios.de"},"repository":{"url":"git+https://github.com/educorvi/rita-smt.git","type":"git"},"_npmVersion":"8.8.0","description":"A module to test satisfiability of Rita rule sets.","directories":{},"_nodeVersion":"14.19.1","dependencies":{"commander":"^9.2.0","command-exists":"^1.2.9","@educorvi/smtlib":"^1.0.0"},"_hasShrinkwrap":false,"devDependencies":{"rollup":"^2.70.2","typescript":"^4.6.3","@educorvi/rita":">=3.1.1 <4","rollup-plugin-ts":"^2.0.7","semantic-release":"^19.0.2","@rollup/plugin-json":"^4.1.0","rollup-plugin-terser":"^7.0.2","@semantic-release/git":"^10.0.1","@types/command-exists":"^1.2.0","@rollup/plugin-commonjs":"^21.1.0","semantic-release-monorepo":"^7.0.5","@rollup/plugin-node-resolve":"^13.2.1","@semantic-release/changelog":"^6.0.1"},"peerDependencies":{"@educorvi/rita":">=3.1.1 <4"},"_npmOperationalInternal":{"tmp":"tmp/rita-smt_1.1.3_1651496056342_0.8128787965283522","host":"s3://npm-registry-packages"}},"1.2.0":{"name":"@educorvi/rita-smt","version":"1.2.0","author":"Julian Pollinger","license":"MIT","_id":"@educorvi/rita-smt@1.2.0","maintainers":[{"name":"neferin","email":"julian.pollinger+dev@jp-studios.de"}],"bin":"dist/src/bin.js","dist":{"shasum":"d5e09061db0987a36bdae2deeef3a70fae9225fb","tarball":"https://registry.npmjs.org/@educorvi/rita-smt/-/rita-smt-1.2.0.tgz","fileCount":8,"integrity":"sha512-eUJyx0V0eGZuPzUoqP8VbyBd7ZXzsOlzkVefh5E1zBkk2Wq4sL+Cd2/SExdCQcoAyakkKxwxqGMkG8ezChu91g==","signatures":[{"sig":"MEUCIFLdlGLMaXlflRrpwrghuEJBn6rHLW3l9GH9nmAYW+26AiEAzILJGlkLF1cNUG3FeU86lJJO0QfC4OX3L8vsY+kluM0=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":11046,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJif8cjACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2Vmo0KBAAjedB+DDwjP6RIs7wug+tCv2T5sAa5cXMCf5QdhYknYd3I+DL\r\n+mG9ljPLksJ/L8rgMd5CifxbvyhoO+jlYAfsKEWZ6bHxX1SP85AQdT5oca+H\r\nCYYQ8YDq/EoQEKVxkua+pTK+Aj3CQ0pXBh+4E2xxxX+3VkP637gu8YOthXqr\r\ndzJObuOp74zQmWDVHYGQgpVJyjkGpvotuH8rQZVc9+bZ0M14sHOEEZqXcZY0\r\nMpv1BUTgnGDG5ymDmCqb90IMs1t3ZySomIYrj+fywECHJL0Uekfx1cAiH6sv\r\nlTgnQEcsm90EBj3lOC0KmXoGAFkz8565OgS3PZIQhq6/t0rMMekIizXaoRHL\r\nulBjbEeDetoDR3OczuxEnEN3mjaDp/1ahi0qClJgZvcMi16OARSJRK4xDMtr\r\nnBj/iItm6IN6X/r7FbilQhVo6EKHObL7Z4QQt7urDIQ0PLNqheP9OZye/qFX\r\nqh9arPXujy9ZAHYyb3tFvOJBT8XJ5pwuy+RVuNTN5LuIPL4tLvVOYBnF3Ovh\r\nwMRHmSX7ZRTuGB6DOJdMd3x2gt5G8pwE5FSZPD1qL1FHp8sXUk4VDs++alYz\r\nBRmAYYi4jUvUKZ4MMgNsDQ29Oa79KzPSoLOEF+t9SUf+MFEG6ixbcLxXVWlP\r\nnd4ePlu7BJMe3g/OhwAG8d0rOTP0FXQAgg0=\r\n=r32s\r\n-----END PGP SIGNATURE-----\r\n"},"main":"dist/src/index.js","gitHead":"4aaa9abfed2d95fc71753b25978774536665d8b8","scripts":{"build":"tsc","runbin":"ts-node src/bin.ts","prepack":"npm run build","release":"yarn install && semantic-release -e semantic-release-monorepo"},"typings":"dist/src/index.d.ts","_npmUser":{"name":"neferin","email":"julian.pollinger+dev@jp-studios.de"},"repository":"https://github.com/educorvi/rita-smt","description":"A module to test satisfiability of Rita rule sets.","directories":{},"dependencies":{"commander":"^9.2.0","command-exists":"^1.2.9","@educorvi/smtlib":"^1.0.0"},"_hasShrinkwrap":false,"devDependencies":{"rollup":"^2.70.2","typescript":"^4.6.3","@educorvi/rita":">=3.1.1 <4","rollup-plugin-ts":"^2.0.7","semantic-release":"^19.0.2","@rollup/plugin-json":"^4.1.0","rollup-plugin-terser":"^7.0.2","@semantic-release/git":"^10.0.1","@types/command-exists":"^1.2.0","@rollup/plugin-commonjs":"^21.1.0","semantic-release-monorepo":"^7.0.5","@rollup/plugin-node-resolve":"^13.2.1","@semantic-release/changelog":"^6.0.1"},"peerDependencies":{"@educorvi/rita":">=3.1.1 <4"},"_npmOperationalInternal":{"tmp":"tmp/rita-smt_1.2.0_1652541219421_0.9917106431264415","host":"s3://npm-registry-packages"}},"1.2.2":{"name":"@educorvi/rita-smt","version":"1.2.2","author":{"name":"Julian Pollinger"},"license":"MIT","_id":"@educorvi/rita-smt@1.2.2","maintainers":[{"name":"neferin","email":"julian.pollinger+dev@jp-studios.de"}],"homepage":"https://github.com/educorvi/rita-smt#readme","bugs":{"url":"https://github.com/educorvi/rita-smt/issues"},"bin":{"rita-smt":"dist/src/bin.js"},"dist":{"shasum":"13fde0307179af27e8d85e782439254a33e39c38","tarball":"https://registry.npmjs.org/@educorvi/rita-smt/-/rita-smt-1.2.2.tgz","fileCount":10,"integrity":"sha512-m1p+2zEozHQcY5r0N5ZM/z/zohFj1xAPckG61LRdEJkrGdzd1pn2szGHXjAQNXqVwwt+wsxz1/At8l/E1AT2iQ==","signatures":[{"sig":"MEUCIQCWucajt8NBNUISW8ro7TlPwKkmd85NLu0QZBtwSYBBuQIgXjxF5RIG5lGkIxs1f5P540P58HUUiR8VaMCDwTxB7Cw=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":11283,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJitbHIACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmqHyw//d/rL4TiS1RjP3Zqz1nPz+jFGmf/XruE9OjM/Ho5gEp2Tf2Nx\r\nxhJ0HvoMddK/aiSvPnEaBxzubwePqaO2B4/YIG8rnAGLgKbK0R5uuC3+/M0k\r\npeE/kORclzdJ/9WSQeTc3QjzjJCzddVqCvkb6j6QiZUkXH1HqrqGVleOjx7E\r\ngJjuqR5N3dBjVLKRDOP0zHFldVN01lZRp39VQkxBALIqdXh9UFZk1olfSRz0\r\nHFwy89FlYo1abRVLHFEMNIp8NxclhuQ8AtaNb74VZyJrEzeLmoxH3gk4Wt8p\r\n3WKFCwukWbViu6iyJHZhg3KI6hTHuz0D1j43+I2wRriapNYEDJWSr6RjO5t5\r\ncNoNCnYHdaR6iVE0tj8ChoOonH3FDH3zq++OPOm2IAsRu7U+1UtQRnKzDmmR\r\nwi1Hkr05wnOgl7v0EmJxZBV7hXn30vJETbVWOak87Ytwb7/u9TaDi1NWoEvc\r\nJihVx8VH5755qleBDDlaFITZCugjv8DE71KJW5Ru7X5W9D0+qvfjsitLJ3PT\r\nCqMJHbwq7tsrwOKDxQVFjX83OTqaM7Fxy0RskPb0gMA5Neiwb9M9+YxUDg7S\r\nnx5JVnJgLAdSaCswIJWG7QqBrTk+a2CnaDOSVV7KpFeDrW/4rnxxTFRklAC/\r\nzUe0iR3MHzbcA6lMt1IYBBNbB0pKpHL4B/U=\r\n=hzrb\r\n-----END PGP SIGNATURE-----\r\n"},"main":"dist/src/index.js","gitHead":"d07213c5ff4621ba209e27521d4c4ac6629403ba","scripts":{"test":">&2 echo \"No tests defined yet!\"","build":"tsc","runbin":"ts-node src/bin.ts","_phase:test":"rushx test","_phase:build":"rushx build"},"typings":"dist/src/index.d.ts","_npmUser":{"name":"neferin","email":"julian.pollinger+dev@jp-studios.de"},"repository":{"url":"git+https://github.com/educorvi/rita-smt.git","type":"git"},"_npmVersion":"8.11.0","description":"A module to test satisfiability of Rita rule sets.","directories":{},"_nodeVersion":"16.15.1","dependencies":{"commander":"^9.2.0","command-exists":"^1.2.9","@educorvi/smtlib":"^1.1.1"},"_hasShrinkwrap":false,"devDependencies":{"rollup":"^2.70.2","typescript":"^4.6.4","@types/node":"^17.0.35","@educorvi/rita":"^4.0.0","rollup-plugin-ts":"^2.0.5","@rollup/plugin-json":"^4.1.0","rollup-plugin-terser":"^7.0.2","@types/command-exists":"^1.2.0","@rollup/plugin-commonjs":"^21.1.0","@rollup/plugin-node-resolve":"^13.1.3"},"peerDependencies":{"@educorvi/rita":"^4.0.0"},"_npmOperationalInternal":{"tmp":"tmp/rita-smt_1.2.2_1656074696196_0.48264464871680657","host":"s3://npm-registry-packages"}},"2.0.0":{"name":"@educorvi/rita-smt","version":"2.0.0","author":{"name":"Julian Pollinger"},"license":"MIT","_id":"@educorvi/rita-smt@2.0.0","maintainers":[{"name":"neferin","email":"julian.pollinger+dev@jp-studios.de"}],"homepage":"https://github.com/educorvi/rita#readme","bugs":{"url":"https://github.com/educorvi/rita/issues"},"bin":{"rita-smt":"dist/bin.js"},"dist":{"shasum":"6d424b7e8b60dd95146e31ceca024253c1972aa4","tarball":"https://registry.npmjs.org/@educorvi/rita-smt/-/rita-smt-2.0.0.tgz","fileCount":16,"integrity":"sha512-act99sIjpe5Nse3lcw6uh+P31IXGh4hax4xE/NNClT1NV3Ot2Lwb4i7/7AfAPJaclEhCSHHX8PL8C3EZH6RvQQ==","signatures":[{"sig":"MEUCIFOuwbW1b1iGuYTd9kR0ip+ZNkf9DNa4CC69BpzGwXD0AiEAvNgedRWYLLl6PAliAn2n28srmiLIhZJFaQqe8JXHa48=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":158486,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJkEMg0ACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmpXVA/6A3vNRLSYy38/wIBXldHFbpAtyyzdJBsNKsFOLNbfSEO4I/W5\r\nhb7Ot3WDbXAcgqxmM41rGUbZum6gY2TRGza6t15HHVHaWnnJ/SaTR5A+5QpP\r\nuvcETmorpCJ/yaOEfB6RYAITQav/RDJWcoT/PRhlPduWqZy204N4H/Sh4Q9T\r\nqNEkcPSmDk0EZUqikZJhsrX2181eNVDFeJJnImwABrf5HLFvUFtfH6ikvsS5\r\n4uBeshGkOb1ZhoFkeE4Gu67Vz8I+1jS8ePACpf9rZNS5qepqDfPcHLI6VbLL\r\njjzZQK4NPipO6NOycQdTLDIxXrDqyl378CKUzbIOilQmPH025HHLG0/jCnhU\r\nLsRUpTkX9sLynXgiKBL+mvddJ4HP1PCNH1/9tpPqJ8SsMrLhDKnnASZq1Hxn\r\n6egCr5EyvHyIhH0cQXPGNsfBFkre7S3fJuaQmA2VXeI3H/fX6XcMw/r/iNiO\r\nGdD+75w1qZoysoO3KO6XUwSIinBYzthzRB0aSngAZk2iQkAkzwMap1EPxgPB\r\nqBWK7ubcMm5cCod8bN4dXcM2G1XNiTM3fryOWnHuV0O1odPyRWl9lyGg/hA+\r\nm9JliSbFsNABMvlOetrrjOHY1WbLMbtp5mK6z9svurXoZFsRz1669fq+GltI\r\nwheg2hMz43UJZKz4M39bp+ZnmhjQ9ar3p6s=\r\n=uDP0\r\n-----END PGP SIGNATURE-----\r\n"},"main":"dist/rita-smt.js","gitHead":"7fea0a0849f3cb6f34bff63f628b318797cd5b67","scripts":{"test":">&2 echo \"Tests for rita-smt are temporarily disabled. Run them with 'npx jest'\"","build":"webpack","runbin":"ts-node src/bin.ts","_phase:test":"rushx test","_phase:build":"rushx build"},"typings":"dist/index.d.ts","_npmUser":{"name":"neferin","email":"julian.pollinger+dev@jp-studios.de"},"repository":{"url":"git+https://github.com/educorvi/rita.git","type":"git"},"_npmVersion":"9.5.0","description":"A module to test satisfiability of Rita rule sets.","directories":{},"_nodeVersion":"18.14.2","dependencies":{"commander":"^9.2.0","command-exists":"^1.2.9","@educorvi/smtlib":"^1.2.0"},"_hasShrinkwrap":false,"devDependencies":{"jest":"^27.4.5","tslib":"^2.3.1","rollup":"^2.70.2","ts-jest":"^27.0.7","ts-node":"^10.7.0","webpack":"^5.72.1","ts-loader":"^9.3.0","typescript":"^4.6.4","@types/jest":"^27.0.3","@types/node":"^17.0.35","webpack-cli":"^4.9.2","@educorvi/rita":"^5.0.0","rollup-plugin-ts":"^2.0.5","@rollup/plugin-json":"^4.1.0","@types/terminal-kit":"^1.28.4","rollup-plugin-terser":"^7.0.2","@types/command-exists":"^1.2.0","terser-webpack-plugin":"^5.3.3","webpack-node-externals":"^3.0.0","@rollup/plugin-commonjs":"^21.1.0","@rollup/plugin-node-resolve":"^13.1.3"},"peerDependencies":{"@educorvi/rita":"^5.0.0"},"_npmOperationalInternal":{"tmp":"tmp/rita-smt_2.0.0_1678821428455_0.14662624479811837","host":"s3://npm-registry-packages"}},"2.0.1":{"name":"@educorvi/rita-smt","version":"2.0.1","author":{"name":"Julian Pollinger"},"license":"MIT","_id":"@educorvi/rita-smt@2.0.1","maintainers":[{"name":"neferin","email":"julian.pollinger+dev@jp-studios.de"}],"homepage":"https://github.com/educorvi/rita#readme","bugs":{"url":"https://github.com/educorvi/rita/issues"},"bin":{"rita-smt":"dist/bin.js"},"dist":{"shasum":"6b009fc7bcdf9f6b8bbc6d4d2ec5f85fd6176b29","tarball":"https://registry.npmjs.org/@educorvi/rita-smt/-/rita-smt-2.0.1.tgz","fileCount":16,"integrity":"sha512-GhwEFe+dTYFa+sWXs2JT8YqLbLC1G/jm+kYNyfrRQriuEbH2tdaiysSMoqcqqlwCDHo4U5VbF6k4PWNlRC5wCQ==","signatures":[{"sig":"MEUCIE4sbzNJUybP0yssDAi5j5SjnjB1EUGanXoLqDMiZWYbAiEAg/ktoFWSw4oprl1X3LJiI83F618w4om8FupnzBJVFNs=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":159190},"main":"dist/rita-smt.js","_from":"file:educorvi-rita-smt-2.0.1.tgz","gitHead":"2655457bd78142eff0398d9b883b35bc5f1b0c81","scripts":{"test":">&2 echo \"Tests for rita-smt are temporarily disabled. Run them with 'npx jest'\"","build":"webpack","runbin":"ts-node src/bin.ts","_phase:test":"rushx test","_phase:build":"rushx build"},"typings":"dist/index.d.ts","_npmUser":{"name":"neferin","email":"julian.pollinger+dev@jp-studios.de"},"_resolved":"/tmp/ebbad0e322b1cdc50e1f2484dc768750/educorvi-rita-smt-2.0.1.tgz","_integrity":"sha512-GhwEFe+dTYFa+sWXs2JT8YqLbLC1G/jm+kYNyfrRQriuEbH2tdaiysSMoqcqqlwCDHo4U5VbF6k4PWNlRC5wCQ==","repository":{"url":"git+https://github.com/educorvi/rita.git","type":"git"},"_npmVersion":"10.8.2","description":"A module to test satisfiability of Rita rule sets.","directories":{},"_nodeVersion":"18.20.5","dependencies":{"commander":"^9.2.0","command-exists":"^1.2.9","@educorvi/smtlib":"^1.2.2"},"_hasShrinkwrap":false,"devDependencies":{"jest":"^27.4.5","tslib":"^2.8.1","rollup":"^2.70.2","ts-jest":"^27.0.7","ts-node":"^10.9.2","webpack":"^5.96.1","ts-loader":"^9.5.1","typescript":"4.9.5","@types/jest":"^27.0.3","@types/node":"^17.0.35","webpack-cli":"^4.9.2","@educorvi/rita":"^5.4.0","rollup-plugin-ts":"^2.0.5","@rollup/plugin-json":"^4.1.0","@types/terminal-kit":"^1.28.4","rollup-plugin-terser":"^7.0.2","@types/command-exists":"^1.2.3","terser-webpack-plugin":"^5.3.10","webpack-node-externals":"^3.0.0","@rollup/plugin-commonjs":"^21.1.0","@rollup/plugin-node-resolve":"^13.1.3"},"peerDependencies":{"@educorvi/rita":"^5.4.0"},"_npmOperationalInternal":{"tmp":"tmp/rita-smt_2.0.1_1732285246109_0.8024519871689957","host":"s3://npm-registry-packages"}},"2.0.2":{"name":"@educorvi/rita-smt","version":"2.0.2","author":{"name":"Julian Pollinger"},"license":"MIT","_id":"@educorvi/rita-smt@2.0.2","maintainers":[{"name":"neferin","email":"julian@pollinger.dev"}],"homepage":"https://github.com/educorvi/rita#readme","bugs":{"url":"https://github.com/educorvi/rita/issues"},"bin":{"rita-smt":"dist/bin.js"},"dist":{"shasum":"dfafbe5a6a7cd0a04a8b0298cf54e26d395e02b2","tarball":"https://registry.npmjs.org/@educorvi/rita-smt/-/rita-smt-2.0.2.tgz","fileCount":16,"integrity":"sha512-F/RHufOsRYWlIK6YLs6XX+BiYSZwr2KhOqvLElwauncVUGmw4EJzJile9UUScQdgcDwOjolvnqP83iQkNFRkKA==","signatures":[{"sig":"MEQCIDCIebgX+OtYfdLSUuStdqmgW6oMgUew0/kVDOKsnRKvAiBdRlFE674pOqcxFM+cbilsrYcvBUXumfEHiUGr1tGwqQ==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":158966},"main":"dist/rita-smt.js","_from":"file:educorvi-rita-smt-2.0.2.tgz","gitHead":"540a28b00253df35c2f05b26b487c433d8b0abad","scripts":{"test":">&2 echo \"Tests for rita-smt are temporarily disabled. Run them with 'npx jest'\"","build":"webpack","runbin":"ts-node src/bin.ts","_phase:test":"rushx test","_phase:build":"rushx build"},"typings":"dist/index.d.ts","_npmUser":{"name":"neferin","actor":{"name":"neferin","type":"user","email":"julian@pollinger.dev"},"email":"julian@pollinger.dev"},"_resolved":"/tmp/bb215c70846f488f2bba8507bb396ea8/educorvi-rita-smt-2.0.2.tgz","_integrity":"sha512-F/RHufOsRYWlIK6YLs6XX+BiYSZwr2KhOqvLElwauncVUGmw4EJzJile9UUScQdgcDwOjolvnqP83iQkNFRkKA==","repository":{"url":"git+https://github.com/educorvi/rita.git","type":"git"},"_npmVersion":"10.8.2","description":"A module to test satisfiability of Rita rule sets.","directories":{},"_nodeVersion":"20.19.3","dependencies":{"commander":"^14.0.0","command-exists":"^1.2.9","@educorvi/smtlib":"^1.2.3"},"_hasShrinkwrap":false,"devDependencies":{"jest":"^30.0.4","tslib":"^2.8.1","ts-jest":"^29.4.0","ts-node":"^10.9.2","webpack":"^5.99.9","ts-loader":"^9.5.2","typescript":"5.8.3","@types/jest":"^30.0.0","@types/node":"^24.0.10","webpack-cli":"^6.0.1","@educorvi/rita":"^5.4.3","@types/terminal-kit":"^2.5.7","@types/command-exists":"^1.2.3","terser-webpack-plugin":"^5.3.14","webpack-node-externals":"^3.0.0"},"peerDependencies":{"@educorvi/rita":"^5.4.3"},"_npmOperationalInternal":{"tmp":"tmp/rita-smt_2.0.2_1752140566399_0.9874923517672698","host":"s3://npm-registry-packages-npm-production"}},"2.1.0":{"name":"@educorvi/rita-smt","version":"2.1.0","description":"A module to test satisfiability of Rita rule sets.","repository":{"type":"git","url":"git+https://github.com/educorvi/rita.git"},"license":"MIT","author":{"name":"Julian Pollinger"},"main":"dist/rita-smt.umd.js","module":"dist/rita-smt.mjs","typings":"dist/index.d.ts","bin":{"rita-smt":"bin/rita-smt-bin.js"},"dependencies":{"@educorvi/smtlib":"^1.3.0","command-exists":"^1.2.9","commander":"^14.0.0"},"devDependencies":{"@educorvi/rita":"^5.5.0","@types/command-exists":"^1.2.3","@types/node":"^24.0.10","@types/terminal-kit":"^2.5.7","typescript":"5.8.3","ts-node":"^10.9.2","tslib":"^2.8.1","unplugin-dts":"~1.0.0-beta.6","vite":"~7.2.4","vite-plugin-externalize-deps":"~0.10.0","vitest":"^2.1.9"},"peerDependencies":{"@educorvi/rita":"^5.5.0"},"scripts":{"_phase:build":"rushx build","_phase:test":"rushx test","check-types":"tsc --noEmit","build":"vite build && vite build --config vite.bin.config.ts","runbin":"ts-node src/bin.ts","test:manual":"vitest run","test":"echo \"No tests yet\""},"_id":"@educorvi/rita-smt@2.1.0","gitHead":"35f1cd187d2f6adc00fa6856ab2adc0bacb4877f","bugs":{"url":"https://github.com/educorvi/rita/issues"},"homepage":"https://github.com/educorvi/rita#readme","_integrity":"sha512-2a2Yutof/jBP2CBgTKPP9FbFiccaYeDYDLWy+ehcSQl2azl7c41p8yhgyAOhndvDG4+G7QerxEwKFhb0OC7taw==","_resolved":"/tmp/28fbc5cd282309e454ff71a8a1b2fa72/educorvi-rita-smt-2.1.0.tgz","_from":"file:educorvi-rita-smt-2.1.0.tgz","_nodeVersion":"20.19.6","_npmVersion":"10.8.2","dist":{"integrity":"sha512-2a2Yutof/jBP2CBgTKPP9FbFiccaYeDYDLWy+ehcSQl2azl7c41p8yhgyAOhndvDG4+G7QerxEwKFhb0OC7taw==","shasum":"41f4fa06deb3401f8773333e81aaf1dccaf98b43","tarball":"https://registry.npmjs.org/@educorvi/rita-smt/-/rita-smt-2.1.0.tgz","fileCount":16,"unpackedSize":56382,"signatures":[{"keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U","sig":"MEUCIQD/ELVJPHN36AkP/u0477dCW4oLZlTPopocrV1h2FX8VAIgOTzoq+fDTkhkx1vAmbd+XSHxQ98tX0Jd5DzBwzirE2Q="}]},"_npmUser":{"name":"neferin","email":"julian@pollinger.dev"},"directories":{},"maintainers":[{"name":"neferin","email":"julian@pollinger.dev"},{"name":"educorvi-dev","email":"developers@educorvi.de"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages-npm-production","tmp":"tmp/rita-smt_2.1.0_1764841327681_0.38414574054831374"},"_hasShrinkwrap":false}},"time":{"created":"2022-04-28T18:10:47.303Z","modified":"2025-12-04T09:42:08.057Z","1.0.0":"2022-04-28T18:10:47.516Z","1.1.0":"2022-04-28T19:26:09.707Z","1.1.1":"2022-04-28T19:39:23.333Z","1.1.2":"2022-05-01T17:12:11.195Z","1.1.3":"2022-05-02T12:54:16.500Z","1.2.0":"2022-05-14T15:13:39.564Z","1.2.2":"2022-06-24T12:44:56.408Z","2.0.0":"2023-03-14T19:17:08.698Z","2.0.1":"2024-11-22T14:20:46.364Z","2.0.2":"2025-07-10T09:42:46.569Z","2.1.0":"2025-12-04T09:42:07.819Z"},"bugs":{"url":"https://github.com/educorvi/rita/issues"},"author":{"name":"Julian Pollinger"},"license":"MIT","homepage":"https://github.com/educorvi/rita#readme","repository":{"type":"git","url":"git+https://github.com/educorvi/rita.git"},"description":"A module to test satisfiability of Rita rule sets.","maintainers":[{"name":"neferin","email":"julian@pollinger.dev"},{"name":"educorvi-dev","email":"developers@educorvi.de"}],"readme":"ERROR: No README data found!","readmeFilename":""}