{"_id":"tptp","_rev":"74-3bf2609d13808fee5e121ac070a984b6","name":"tptp","dist-tags":{"latest":"1.0.2"},"versions":{"0.1.0":{"name":"tptp","version":"0.1.0","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@0.1.0","maintainers":[{"name":"mafu","email":"fuchsmat@yahoo.de"}],"dist":{"shasum":"df3e4821d3cbb0edabddf12c08ef0b2d82da92f7","tarball":"https://registry.npmjs.org/tptp/-/tptp-0.1.0.tgz","integrity":"sha512-Kvbftuv6TqOLMRbiGCQYwL5Z6mzbGy/CRRzO3RT4SD7U0az/aQibj9viEMMHsG5AhJOhvKc2A8rUja6ssEr7Fw==","signatures":[{"sig":"MEYCIQDfP5HX50PiCFAuwf53J18S++YRWWjfgdygmoD+jhSoogIhAPddyD+b1GQOI3bnPdREP1QAVuchEwntRKdwLOzKx+Hk","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}]},"main":"index.js","_from":"tptp","engines":{"node":">= 0.10.15"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"fuchsmat@yahoo.de"},"repository":"","_npmVersion":"1.3.5","description":"Connecting to TPTP Problem Library","directories":{},"devDependencies":{"mocha":">= 1.11.0"}},"0.1.1":{"name":"tptp","version":"0.1.1","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@0.1.1","maintainers":[{"name":"mafu","email":"fuchsmat@yahoo.de"}],"dist":{"shasum":"9fff18d768e2511f50a721c7490a539795268f64","tarball":"https://registry.npmjs.org/tptp/-/tptp-0.1.1.tgz","integrity":"sha512-5s/vq/Tw06P95yETLGDycbm8Yt1/jglHPaXRHepcg8tvaBnb5h5VdbOaFSBVwPExgebUZmrm1GWXVEzeQXIAow==","signatures":[{"sig":"MEYCIQCHGSx5hJ70Pw8vhSyn62jHTld2llxW4Tkpi1xLUg2SwQIhANQmlJ2Cn67EIqQslI1jOx7126D8gAD+XWF+iGhLc1k8","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}]},"main":"index.js","_from":"tptp","engines":{"node":">= 0.10.15"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"fuchsmat@yahoo.de"},"repository":"","_npmVersion":"1.3.5","description":"Connecting to TPTP Problem Library","directories":{},"devDependencies":{"mocha":">= 1.11.0"}},"0.1.2":{"name":"tptp","version":"0.1.2","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@0.1.2","maintainers":[{"name":"mafu","email":"fuchsmat@yahoo.de"}],"dist":{"shasum":"826f411e7a5c19c32aa9165bf142db67c3d9ca70","tarball":"https://registry.npmjs.org/tptp/-/tptp-0.1.2.tgz","integrity":"sha512-1hWHbRsBIh8lnifZWj8SFT///9Kr2yEw+R0VUb4G9b0LIOGNdW0rfeuiTw18g8GCufIzElG0oGV7x97aijrq0w==","signatures":[{"sig":"MEUCIQDL4FFOBJDhjTbX8Tlk72I1gjkbDVUIxFljsr9hrecV4gIgAaka4/asiEP3u/Ab1+e427o1sx2hykmb3gRjsBFmnFQ=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}]},"main":"index.js","_from":"tptp","engines":{"node":">= 0.10.15"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"fuchsmat@yahoo.de"},"repository":"","_npmVersion":"1.3.5","description":"Connecting to the TPTP Problem Library","directories":{},"devDependencies":{"mocha":">= 1.11.0"}},"0.1.3":{"name":"tptp","version":"0.1.3","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@0.1.3","maintainers":[{"name":"mafu","email":"fuchsmat@yahoo.de"}],"dist":{"shasum":"fd1ed1a1db029e3f4aa6377d8111ecdea42aba9f","tarball":"https://registry.npmjs.org/tptp/-/tptp-0.1.3.tgz","integrity":"sha512-J/pxHpqy8uBC+Dai4YCyuAtMSvL7fUcnh9NkqI5Nzlj0ErS0UEpfBJV8aDZS5ecQ2MJp6Ui0JkLg8enpmkbChg==","signatures":[{"sig":"MEQCIEfFfoCfWbgbt2I7E0B4Of6+JJ3bhc1xDPaKMLqbTqMAAiBuPMcbBCDqE8DkYdCOVVMWWdFj4VFhTjeCweCoRgQbzA==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}]},"main":"index.js","_from":"tptp","engines":{"node":">= 0.10.15"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"fuchsmat@yahoo.de"},"repository":"","_npmVersion":"1.3.5","description":"Connecting to the TPTP Problem Library","directories":{},"devDependencies":{"mocha":">= 1.11.0"}},"0.1.4":{"name":"tptp","version":"0.1.4","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@0.1.4","maintainers":[{"name":"mafu","email":"fuchsmat@yahoo.de"}],"dist":{"shasum":"fa7800f1409f940f503d3c03a034787e9bd1e89c","tarball":"https://registry.npmjs.org/tptp/-/tptp-0.1.4.tgz","integrity":"sha512-Lq3IHaQC2sXzX2iNWTaGyrkQQS2+I+Digskzqf0fsxijXQZY8xfEi1xqVu1d+8HTmRxioc0kCpuHEva8l1VJtg==","signatures":[{"sig":"MEUCIDxMLBWQrsk55z+h7f17Aq1T/h2qh7dhAgvxqOGFjjeDAiEA9q/AOwso/p/c9zfH2C9bHwSNw2TGSA9WOq5JknGuteo=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}]},"main":"index.js","_from":"tptp","engines":{"node":">= 0.10.15"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"fuchsmat@yahoo.de"},"repository":"","_npmVersion":"1.3.5","description":"Connecting to the TPTP Problem Library","directories":{},"devDependencies":{"mocha":">= 1.11.0"}},"0.2.0":{"name":"tptp","version":"0.2.0","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@0.2.0","maintainers":[{"name":"mafu","email":"fuchsmat@yahoo.de"}],"dist":{"shasum":"70f8aeb44a24e67961d39044fefd990b1c736eed","tarball":"https://registry.npmjs.org/tptp/-/tptp-0.2.0.tgz","integrity":"sha512-DeXn86FUa45CbAsvkvpAGGzVc07k3Iqpg/bc8eawBbuQ8myKDp0S4bdmirKgG0wtHNirDsC7kAtidVEahMURmQ==","signatures":[{"sig":"MEQCIBsmYNF39P8MKe065dpcaPfQRA036lypDpudWWmNm1ZUAiA9cI8CmFOj1UCVPCDDMDB3GkJxsLQVYJ5YU3U0F6RF9g==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}]},"main":"index.js","_from":"tptp","engines":{"node":">= 0.10.15"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"fuchsmat@yahoo.de"},"repository":"","_npmVersion":"1.3.5","description":"Connecting to the TPTP Problem Library","directories":{},"devDependencies":{"mocha":">= 1.11.0"}},"0.3.0":{"name":"tptp","version":"0.3.0","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@0.3.0","maintainers":[{"name":"mafu","email":"fuchsmat@yahoo.de"}],"dist":{"shasum":"dab13b384ec086051cb746a14c4d656a9de17309","tarball":"https://registry.npmjs.org/tptp/-/tptp-0.3.0.tgz","integrity":"sha512-0I0cu5FnljFQgDflyFIfWpIfvDyYpdkXpB87YQ0S/aBGMIJngM/Af025RlYHHQqtaRHFmMPLwphUc0hBT/EPZg==","signatures":[{"sig":"MEUCID3gkiSkkb8Pb6vhZZMoOmnxhg6bXiMBUkpm1D8mECl9AiEA5fdeSCbeoMcxWwdfArrls6J8xYUiCRPLj0ctg8q/7uA=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}]},"main":"index.js","_from":"tptp","engines":{"node":">= 0.10.15"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"fuchsmat@yahoo.de"},"repository":"","_npmVersion":"1.3.5","description":"Connecting to the TPTP Problem Library","directories":{},"devDependencies":{"mocha":">= 1.11.0"}},"0.3.1":{"name":"tptp","version":"0.3.1","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@0.3.1","maintainers":[{"name":"mafu","email":"fuchsmat@yahoo.de"}],"dist":{"shasum":"61bce6b2c8df1f84b92f10fe6f8ed151f34bcf58","tarball":"https://registry.npmjs.org/tptp/-/tptp-0.3.1.tgz","integrity":"sha512-o1FAuzFVQ5CiL4WOZdJXzDllfSvr9wP5IyZ4A3c1EBWsDCxraof0Uyby6xFaJA36CT33K28J7k24L87u7r43uA==","signatures":[{"sig":"MEUCIQDuNC5c7sTzP/Gvoq5olsUaS9SiIxKOvXWliUtZnrjQOAIgON/rpvVnRvZZgQDOoRbsSCBv87anJrDzm+0/B898KGc=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}]},"main":"index.js","_from":"tptp","engines":{"node":">= 0.10.15"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"fuchsmat@yahoo.de"},"repository":"","_npmVersion":"1.3.5","description":"Connecting to the TPTP Problem Library","directories":{},"devDependencies":{"mocha":">= 1.11.0"}},"0.3.2":{"name":"tptp","version":"0.3.2","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@0.3.2","maintainers":[{"name":"mafu","email":"fuchsmat@yahoo.de"}],"dist":{"shasum":"2d7028dae53516bba0a3b2b6fdd6d4519af20b55","tarball":"https://registry.npmjs.org/tptp/-/tptp-0.3.2.tgz","integrity":"sha512-owxzrzayA6A4KhxfbxSc6SztKELM9HKQnz3+Vdt7QpmaMEWVX7Myxjt53ufj+5FyEFC+o3W1rkuRRwtDSATikQ==","signatures":[{"sig":"MEUCIQCOJj5wa07oTEhNNGygeIn7VpslEa3ycrSuPa2q3rjz9wIgMEArvsfxqRmtpYSysZonmv+2F82VJNarxybtUgJJ1B4=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}]},"main":"index.js","_from":"tptp","engines":{"node":">= 0.10.15"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"fuchsmat@yahoo.de"},"repository":"","_npmVersion":"1.3.5","description":"Connecting to the TPTP Problem Library","directories":{},"devDependencies":{"mocha":">= 1.11.0"}},"0.3.3":{"name":"tptp","version":"0.3.3","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@0.3.3","maintainers":[{"name":"mafu","email":"fuchsmat@yahoo.de"}],"dist":{"shasum":"cdbc6950695739a56f9465315be3df9711c40378","tarball":"https://registry.npmjs.org/tptp/-/tptp-0.3.3.tgz","integrity":"sha512-0ml1fzW9J/xZHgkhIIo20nwfCnb6/9kg7Ti3YHsM6yagGdVEtEa1qYnbSxb4HsDeo/GED0oN86usPuCW6qZsjw==","signatures":[{"sig":"MEYCIQDNK3xvR4UUSvxIjEzZjOY88ZPgWBHJgWdDF6Jbslan9QIhAJ42jcalxAavKqZ2CRVhhCoBquSzvqdC5FEI75fLDfku","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}]},"main":"index.js","_from":"tptp","engines":{"node":">= 0.10.15"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"fuchsmat@yahoo.de"},"repository":"","_npmVersion":"1.3.5","description":"Connecting to the TPTP Problem Library","directories":{},"devDependencies":{"mocha":">= 1.11.0"}},"0.3.4":{"name":"tptp","version":"0.3.4","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@0.3.4","maintainers":[{"name":"mafu","email":"fuchsmat@yahoo.de"}],"dist":{"shasum":"e5b7c98ea37360e6880e12a7159babe678df1ade","tarball":"https://registry.npmjs.org/tptp/-/tptp-0.3.4.tgz","integrity":"sha512-+ez1R2EJreDVurWKqoVEpmkckKnz76e+fCYH6ncznk0NybKOJVgjPhfqOhSPZyp4yRdPXGtiy46jBcqATIEMtQ==","signatures":[{"sig":"MEUCIQDzw/Xwf7Vf1iF97rwaGNjHH8p/RsozCf++RlC8wh4qXgIgPuhCIh94r/ffM8k2JjliCHs4Q2eOazZfrd23YAfVqHs=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}]},"main":"index.js","_from":"tptp","engines":{"node":">= 0.10.15"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"fuchsmat@yahoo.de"},"repository":"","_npmVersion":"1.3.5","description":"Connecting to the TPTP Problem Library","directories":{},"devDependencies":{"mocha":">= 1.11.0"}},"0.3.5":{"name":"tptp","version":"0.3.5","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@0.3.5","maintainers":[{"name":"mafu","email":"fuchsmat@yahoo.de"}],"dist":{"shasum":"8c9459bc82f2006af48c38e359d1591e46f3715b","tarball":"https://registry.npmjs.org/tptp/-/tptp-0.3.5.tgz","integrity":"sha512-4sv8EAtxxfdcG9wuih5qazBtxC7KsIzfdli78OI/7XP6EYJS0nEJcT2r5NYVj2f4FhVusAho4Bxpl9XirWMegg==","signatures":[{"sig":"MEUCIQDpMj1PZNgF9jWJxkurQLwLz/UelfjR6TxvlCToeyxbbAIgTXCTLfCp37C8W/okWpk9AGosKOhqP3POmOi6gRgKcAw=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}]},"main":"index.js","_from":"tptp","engines":{"node":">= 0.10.15"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"fuchsmat@yahoo.de"},"repository":"","_npmVersion":"1.3.5","description":"Connecting to the TPTP Problem Library","directories":{},"devDependencies":{"mocha":">= 1.11.0"}},"0.3.6":{"name":"tptp","version":"0.3.6","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@0.3.6","maintainers":[{"name":"mafu","email":"fuchsmat@yahoo.de"}],"dist":{"shasum":"489ab3b66b38314fe3f6b0d38a39971e05396a74","tarball":"https://registry.npmjs.org/tptp/-/tptp-0.3.6.tgz","integrity":"sha512-uuBxQPfpWkmTHumvCpY1WmsE4QfBA8Q3+vjrhlwnT/H2skZYEgwDumQSxDj9ASlEJMMdFmtWLaxJ2KkpLOcoQw==","signatures":[{"sig":"MEYCIQCPgpeAihrmKRSXEWcZi2EDVOFTZPA5nbhsBvfJo+puNAIhAOMyllAr7Ns/zpyz6h59XX7rrPc10Iofgf8HD2QiKW7j","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}]},"main":"index.js","_from":"tptp","engines":{"node":">= 0.10.15"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"fuchsmat@yahoo.de"},"repository":"","_npmVersion":"1.3.5","description":"Connecting to the TPTP Problem Library","directories":{},"devDependencies":{"mocha":">= 1.11.0"}},"0.4.0":{"name":"tptp","version":"0.4.0","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@0.4.0","maintainers":[{"name":"mafu","email":"fuchsmat@yahoo.de"}],"dist":{"shasum":"917a8f39a6c6212bddde3f8c3fca32bd4454304d","tarball":"https://registry.npmjs.org/tptp/-/tptp-0.4.0.tgz","integrity":"sha512-q+i5itd1P60DIbypPwKZtGFUIillBXEZZb3bsO//PNoY8W0LZJnh1RuhCnNNeEs145IYowRUctmuNq4lOZmOvQ==","signatures":[{"sig":"MEYCIQDPIb8H6Xvw4Mkt0DJ3XJjZ68/eXUn1Zzv+hideiYUe+AIhAPz/kEcqEVIw7gFkuMcZ+W9iQHpn6+XoM+dtLMeU219D","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}]},"main":"index.js","_from":"tptp","engines":{"node":">= 0.10.15"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"fuchsmat@yahoo.de"},"repository":"","_npmVersion":"1.3.5","description":"Connecting to the TPTP Problem Library","directories":{},"devDependencies":{"mocha":">= 1.11.0"}},"0.4.1":{"name":"tptp","version":"0.4.1","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@0.4.1","maintainers":[{"name":"mafu","email":"fuchsmat@yahoo.de"}],"dist":{"shasum":"f7257819d5a3ef284a61583bc1bf67cce5c221e9","tarball":"https://registry.npmjs.org/tptp/-/tptp-0.4.1.tgz","integrity":"sha512-rA4EyeAZ06SAY+pGTRwct9A1oPY9BfUS8UpS9AZ9dhdjSMINuNbHOUUQ9jBSDjVROXPrCCsRsk2Ha8Sam69W6Q==","signatures":[{"sig":"MEUCIQCA4ZpUY5GTK5nhX/E2mKM7JbtUyhpEsjEsTk7U3UY5xgIgFRWdKrLM37d9IEvWrZNUUcRq6PjQ5uejpu0Z4/fDx/Q=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}]},"main":"index.js","_from":"tptp","engines":{"node":">= 0.10.15"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"fuchsmat@yahoo.de"},"repository":"","_npmVersion":"1.3.5","description":"Connecting to the TPTP Problem Library","directories":{},"devDependencies":{"mocha":">= 1.11.0"}},"0.4.2":{"name":"tptp","version":"0.4.2","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@0.4.2","maintainers":[{"name":"mafu","email":"fuchsmat@yahoo.de"}],"dist":{"shasum":"141f7b943dfb907f84060ad9ef551ce57a8fc545","tarball":"https://registry.npmjs.org/tptp/-/tptp-0.4.2.tgz","integrity":"sha512-SgIVVK29uvdfvVBUMVGe1x3vbWmE2rOhZR4g1ZBLUH4gH+vUaHj0M3MOfyxtcT9buUITaI/SYA6mTRvfUCGTmA==","signatures":[{"sig":"MEUCIQCKYzmwZca0mjs/zSfR7KCPNxJffTnsv55fkxNdg9efWwIgKy/i/s32X9jQ9K5DaBuC029+ZXT/iKoXqAkntsIcX7Y=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}]},"main":"index.js","_from":"tptp","engines":{"node":">= 0.10.15"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"fuchsmat@yahoo.de"},"repository":"","_npmVersion":"1.3.5","description":"Connecting to the TPTP Problem Library","directories":{},"devDependencies":{"mocha":">= 1.11.0"}},"0.4.3":{"name":"tptp","version":"0.4.3","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@0.4.3","maintainers":[{"name":"mafu","email":"fuchsmat@yahoo.de"}],"dist":{"shasum":"a4b316eb767086d31e495a3e4af3a2cb893e2e12","tarball":"https://registry.npmjs.org/tptp/-/tptp-0.4.3.tgz","integrity":"sha512-P+VBstsebRLF/FLjG0NEYAn3GjK+2BegEudLOUqNX4QSjDaBQ4Qbc2yYWbUd6OVDehiujb1UBJEl2Del5OPN+w==","signatures":[{"sig":"MEQCIBd0J+QtBHC45ajQHNUGLD5JO05sAiJvpyMSrQe05m2RAiB82GT9gaHsSZYICPxkINZB3l2DzRF4FlLzYPDMm5lTJg==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}]},"main":"index.js","_from":"tptp","engines":{"node":">= 0.10.15"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"fuchsmat@yahoo.de"},"repository":"","_npmVersion":"1.3.5","description":"Connecting to the TPTP Problem Library","directories":{},"devDependencies":{"mocha":">= 1.11.0"}},"0.4.4":{"name":"tptp","version":"0.4.4","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@0.4.4","maintainers":[{"name":"mafu","email":"fuchsmat@yahoo.de"}],"dist":{"shasum":"2823630e1160febe0427452c1582fbf210c52af6","tarball":"https://registry.npmjs.org/tptp/-/tptp-0.4.4.tgz","integrity":"sha512-NfZ5gU3EoD4/GK5a8mojNBQIFOYl3FJEinjuhX/WHhg4DMUUOSyQ/QN4XJCRBKvkxgcLk/N/1zW2LJq78sqCow==","signatures":[{"sig":"MEUCIG9ATz1qYFWh8JEgzGc0e83wBjdqhHo6AU94B0+QJR2eAiEAtmCd2zuRVO9eFMMIENfO/Do1LJfxkVvT152wqsqKOj0=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}]},"main":"index.js","_from":"tptp","engines":{"node":">= 0.10.15"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"fuchsmat@yahoo.de"},"repository":"","_npmVersion":"1.3.5","description":"Connecting to the TPTP Problem Library","directories":{},"devDependencies":{"mocha":">= 1.11.0"}},"0.4.5":{"name":"tptp","version":"0.4.5","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@0.4.5","maintainers":[{"name":"mafu","email":"fuchsmat@yahoo.de"}],"dist":{"shasum":"9c2868114ba5d847520855b7ac9f558b415c1943","tarball":"https://registry.npmjs.org/tptp/-/tptp-0.4.5.tgz","integrity":"sha512-pIexCJhcVqqCQqUVu0fp9MFal9shoqYkoT4716Nt1Fc+/HdzfltpTyVhaGzZGj52vA/DXSTZT1kW5PMX71wleg==","signatures":[{"sig":"MEUCIQCFKlDO2wItuWSLVUnyxPnycOXhlZOtZ9mOMaB3Fpa52gIgQ+IjO0ybjoMk7mP78iuoTudQcNeoaSV0r20asAfJp6s=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}]},"main":"index.js","_from":"tptp","engines":{"node":">= 0.10.15"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"fuchsmat@yahoo.de"},"repository":"","_npmVersion":"1.3.5","description":"Connecting to the TPTP Problem Library","directories":{},"devDependencies":{"mocha":">= 1.11.0"}},"0.4.6":{"name":"tptp","version":"0.4.6","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@0.4.6","maintainers":[{"name":"mafu","email":"fuchsmat@yahoo.de"}],"dist":{"shasum":"05e1fa2a2fa60985fa13b4b29b08fc4474c82c23","tarball":"https://registry.npmjs.org/tptp/-/tptp-0.4.6.tgz","integrity":"sha512-m1A/TjcrV9OZRHIX7KA53NIiKDRpCtxc03awM0lLhthytNrOL81sT/8ZC5QwsVRmUSqSnvIWSUzWrz5i+mSl/w==","signatures":[{"sig":"MEUCIQDv8/bvunbSPS/dCIc0WqF3j0GqJ/u6X6s4jB1/nN589gIgDUzay1i6XaUrj/VuRrOK65+T9KZpTO+60k8/1nt5BeI=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}]},"main":"index.js","_from":"tptp","engines":{"node":">= 0.10.15"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"fuchsmat@yahoo.de"},"repository":"","_npmVersion":"1.3.5","description":"Connecting to the TPTP Problem Library","directories":{},"devDependencies":{"mocha":">= 1.11.0"}},"0.4.7":{"name":"tptp","version":"0.4.7","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@0.4.7","maintainers":[{"name":"mafu","email":"fuchsmat@yahoo.de"}],"dist":{"shasum":"1bde1fa3f2541d0cac69a97b53ba0573e7aa4cce","tarball":"https://registry.npmjs.org/tptp/-/tptp-0.4.7.tgz","integrity":"sha512-VI2wdO114LNQA58aI9rm7d0lav/KtuJWQN+QURtbneNARIVacNsENyp2l0IC5SxawrC8OMOuM/89V5OaM6EM4Q==","signatures":[{"sig":"MEUCIQCqs/thJKEM00S3zLbe3ADirrdevZVmbbkn5n2W/xIoKwIgIQqg51l2DahzWS7QUCvVB67DpTiHBxv28FkDtAto+2k=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}]},"main":"index.js","_from":"tptp","engines":{"node":">= 0.10.15"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"fuchsmat@yahoo.de"},"repository":"","_npmVersion":"1.3.5","description":"Connecting to the TPTP Problem Library","directories":{},"devDependencies":{"mocha":">= 1.11.0"}},"0.4.8":{"name":"tptp","version":"0.4.8","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@0.4.8","maintainers":[{"name":"mafu","email":"fuchsmat@yahoo.de"}],"dist":{"shasum":"8efcaf5f2bff96612bcc0b907588a19be76c1eb2","tarball":"https://registry.npmjs.org/tptp/-/tptp-0.4.8.tgz","integrity":"sha512-0PGnIAC5L+uGQMzekWY1s30lUV/Qja9zbEdCgozDWzy9tMo7YuzmJ6DBadXs40/v5McrJAtd18z5kY/2kka89g==","signatures":[{"sig":"MEUCIEyE7s1KzG/xdQ30JUQKNmbPdRL9yTazt0a5dVJWSTIkAiEAtuOrkxpvlCExSEwxBpBImXDzoMEZgnf0bdmzYJl/fDw=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}]},"main":"index.js","_from":"tptp","_shasum":"8efcaf5f2bff96612bcc0b907588a19be76c1eb2","engines":{"node":">= 0.10.15"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"fuchsmat@yahoo.de"},"repository":"","_npmVersion":"1.4.23","description":"Connecting to the TPTP Problem Library","directories":{},"devDependencies":{"mocha":">= 1.11.0"}},"0.4.9":{"name":"tptp","version":"0.4.9","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@0.4.9","maintainers":[{"name":"mafu","email":"fuchsmat@yahoo.de"}],"dist":{"shasum":"d496cf7b88a646f6905ea9346037146803ea8b48","tarball":"https://registry.npmjs.org/tptp/-/tptp-0.4.9.tgz","integrity":"sha512-LxKCiABGdSbZSqclhD1ezZ54bcl/iE8zm5Vtv8i4vN/qbFnwUxqbKmLA96LMfY+1sXKvccRwYoQ7otYJTMZA8Q==","signatures":[{"sig":"MEYCIQC+8vlcYePGK9N2W1P4BGKggm2PSCEGSltVf7cT/wCB+wIhALQP00Z61yOm2uPkdrKtoyzr5i6N8P2/0O2ZlMhHZP6w","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}]},"main":"index.js","_from":"tptp","_shasum":"d496cf7b88a646f6905ea9346037146803ea8b48","engines":{"node":">= 0.10.15"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"fuchsmat@yahoo.de"},"repository":"","_npmVersion":"1.4.23","description":"Connecting to the TPTP Problem Library","directories":{},"devDependencies":{"mocha":">= 1.11.0"}},"0.4.10":{"name":"tptp","version":"0.4.10","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@0.4.10","maintainers":[{"name":"mafu","email":"fuchsmat@yahoo.de"}],"dist":{"shasum":"fb95976ef3e93c182d6dbf1d680d86d53b851978","tarball":"https://registry.npmjs.org/tptp/-/tptp-0.4.10.tgz","integrity":"sha512-jhom/DN9XmrUW/TJoMnxbkBXSRjiXvo8vLzqeY9vey7uO3ZnsY+4rm1UQv0YY1Kx54u3kU5tOpT52bS0fyU6Mw==","signatures":[{"sig":"MEUCIQDhHdkKFnpSg4KQO5C9Qh9Kl4+Fe4DSewlr9KylTDTYkwIgBYS7nDaR2zREFHfvcbGpJeVWnDinHhyqw/LIwMzqGGY=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}]},"main":"index.js","_from":"tptp","_shasum":"fb95976ef3e93c182d6dbf1d680d86d53b851978","engines":{"node":">= 0.10.15"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"fuchsmat@yahoo.de"},"repository":"","_npmVersion":"1.4.23","description":"Connecting to the TPTP Problem Library","directories":{},"devDependencies":{"mocha":">= 1.11.0"}},"0.4.11":{"name":"tptp","version":"0.4.11","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@0.4.11","maintainers":[{"name":"mafu","email":"fuchsmat@yahoo.de"}],"dist":{"shasum":"0fbd2c811f2ff3813b985f74ac70a8a6d994be7e","tarball":"https://registry.npmjs.org/tptp/-/tptp-0.4.11.tgz","integrity":"sha512-0Jcp0ORxSFL6quey0hH/ruiUyMIrIh7YzEa4YtyXSCQtO4eH4BDJYG9GraPRMGDBMCtNycTxmOZmcMlPa67GAQ==","signatures":[{"sig":"MEUCIDkPgU7Liv82ziHjbrSFQy5uxl5sAbzrKmIiH6S+aTNHAiEA7n+ofo4ZR+rWZojey8j8OuLsk78MmMMdKviNsWZNE64=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}]},"main":"index.js","_from":"tptp","_shasum":"0fbd2c811f2ff3813b985f74ac70a8a6d994be7e","engines":{"node":">= 0.10.15"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"fuchsmat@yahoo.de"},"repository":"","_npmVersion":"1.4.23","description":"Connecting to the TPTP Problem Library","directories":{},"devDependencies":{"mocha":">= 1.11.0"}},"0.5.0":{"name":"tptp","version":"0.5.0","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@0.5.0","maintainers":[{"name":"mafu","email":"fuchsmat@yahoo.de"}],"dist":{"shasum":"ac5adc3e6e13765281dbf4ac5d9e76bfdac72a74","tarball":"https://registry.npmjs.org/tptp/-/tptp-0.5.0.tgz","integrity":"sha512-KqpH81A4vqQWdvI+Kax7VhcC0Ies+KmeKr0nplNc7nWs6xxHMcceojVYH9LG4ipY7pGPwKZ9rpQqKwLj/13fxQ==","signatures":[{"sig":"MEQCIBvD4/+ESorwiO3dYI023ldfQziwrXaAFHqP7OER3HyAAiBsGHGG8BYrl73C79WWjnJxlykt3fHAjurC8yShNbjngw==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}]},"main":"index.js","_from":"tptp","_shasum":"ac5adc3e6e13765281dbf4ac5d9e76bfdac72a74","engines":{"node":">= 0.10.15"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"fuchsmat@yahoo.de"},"repository":"","_npmVersion":"1.4.23","description":"Connecting to the TPTP Problem Library","directories":{},"devDependencies":{"mocha":">= 1.11.0"}},"0.5.1":{"name":"tptp","version":"0.5.1","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@0.5.1","maintainers":[{"name":"mafu","email":"fuchsmat@yahoo.de"}],"dist":{"shasum":"ae186b4b875c2d2a0f46843a7c2a9a31be8079a8","tarball":"https://registry.npmjs.org/tptp/-/tptp-0.5.1.tgz","integrity":"sha512-CropI/f05/9fIwip6KVSIVPpi+bkfptC9loPyrkseGrsZxafQ7/ssaMgJqESQKV6w1PZexyDagmObybsqK7mEg==","signatures":[{"sig":"MEUCID97k3wo7LGPv+wNz8li1bx7/XFJhg1woBeyHqJ+N/QdAiEA3Bhp06m7jtczydea7+AvCF39pqeKevdcfo+MtCca8wk=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}]},"main":"index.js","_from":"tptp","_shasum":"ae186b4b875c2d2a0f46843a7c2a9a31be8079a8","engines":{"node":">= 0.10.15"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"fuchsmat@yahoo.de"},"repository":"","_npmVersion":"1.4.23","description":"Connecting to the TPTP Problem Library","directories":{},"devDependencies":{"mocha":">= 1.11.0"}},"0.5.2":{"name":"tptp","version":"0.5.2","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@0.5.2","maintainers":[{"name":"mafu","email":"fuchsmat@yahoo.de"}],"dist":{"shasum":"5f98527a86c9b1775fa73b5b14d42528f9500a27","tarball":"https://registry.npmjs.org/tptp/-/tptp-0.5.2.tgz","integrity":"sha512-SCyduY8D/tIgaBvZPwn5dFsO+RCsQf84ojott1Vee20Jk7nzwPj2zr1JLOioZQ4B2gFZu8Qws574xLbnf+PSTg==","signatures":[{"sig":"MEUCID9mM4aUmRKiv6nyda7f/1MIG16E+I/ipNlPIyq6jm13AiEA3Arypb8Ti19C1Ft1/QcQdnYbYRHhLhfDLJUFLkfTDBE=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}]},"main":"index.js","_from":".","_shasum":"5f98527a86c9b1775fa73b5b14d42528f9500a27","engines":{"node":">= 0.10.15"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"mafu.fix.issues@gmail.com"},"repository":"","_npmVersion":"3.10.10","description":"Connecting to the TPTP Problem Library","directories":{},"_nodeVersion":"6.10.3","devDependencies":{"mocha":">= 1.11.0"},"_npmOperationalInternal":{"tmp":"tmp/tptp-0.5.2.tgz_1508009328096_0.7479565278626978","host":"s3://npm-registry-packages"}},"0.5.3":{"name":"tptp","version":"0.5.3","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@0.5.3","maintainers":[{"name":"mafu","email":"fuchsmat@yahoo.de"}],"dist":{"shasum":"0fae273e92033571ccfebf9414661301ba368f03","tarball":"https://registry.npmjs.org/tptp/-/tptp-0.5.3.tgz","fileCount":12,"integrity":"sha512-1eDvukxK4Tdwxdd/R428nEpLqWy4NjXkAhtBVMvFDJxeHYxNNRNq3MdRJejb4Hfvxkk5oor0SxMt6dIw8oWyTA==","signatures":[{"sig":"MEUCIQCG04+V6BXCAgiP6F2y3NWx+6af0GOsrVKf8/Y1bLNoVQIgc87pSbD4dgSLo1gZqJYweVREgQZNZ5K37HNm4ahFd2E=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":92896,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJcJn38CRA9TVsSAnZWagAAdrIP/AoyzzbztDl/r1iUGgRT\nIqc1sDuDhbanp0XfcFM9MLCrMgH/athA1gPERhp176BDwbAMoP9OVbB9NcNB\nNhiwwCrb70TuLA9NJaME7tmoOGKL1ll8mXf8yhwPjk3oRPUv/0jMheWiRy5i\n59t/uKK9sBc47nSr9raSyWa2hMSaxGEz7HzLusxAvlAkmiTc2s4YunyJObsh\nWST1QWZuAyZenBMktwCg41iHXsS35QH0yGk7s+qoSBLp3wXWkkL3+IOFhgMB\n8ne9cFjM3+i97H6eKvR6UcXhdu9e/7jB2hlav12bOXIex0Sd59pH8qyS3uLG\nmAk8+1ZU6XqdepVrzedr+ajVhRHk/zM2n+0nxH08HYk+AzXtPPMofN4uSKXd\n5zqcwsFQaKcXOyRFWB1PiTxLraclH3svWtzGlNhzDXiwloD0/BauopXnNzgX\nJeZpOCn52fazGztXB8OJGVdoJ5IR532yq7zDD63BS9pAze60GswdRGXMFbQO\nRVvP+KvsNawMbdmFVJvRSDVyA2njPe2+1BfgYPzt29MaNUqOLIZB5LaanKhz\n6/4+K56k/1tp1tNd9vVTj4vPCLP7FxdYM0Tay00WqI0G9SjPLI9RPIA47y/R\nBB1Fj4LnCsAYq/jNj+Z7IAJe1OoazkDkWm4OK/y20WNadMTi3VBfnbr9FDCn\neuR0\r\n=1ISv\r\n-----END PGP SIGNATURE-----\r\n"},"main":"index.js","_from":".","_shasum":"0fae273e92033571ccfebf9414661301ba368f03","engines":{"node":">= 0.10.15"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"mafu.fix.issues@gmail.com"},"repository":"","_npmVersion":"3.10.10","description":"Connecting to the TPTP Problem Library","directories":{},"_nodeVersion":"6.10.3","_hasShrinkwrap":false,"devDependencies":{"mocha":">= 1.11.0"},"_npmOperationalInternal":{"tmp":"tmp/tptp_0.5.3_1546026491215_0.8565770419674403","host":"s3://npm-registry-packages"}},"0.6.0":{"name":"tptp","version":"0.6.0","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@0.6.0","maintainers":[{"name":"mafu","email":"fuchsmat@yahoo.de"}],"dist":{"shasum":"b5c642ef8203a058179d9f496482a68548a8cb15","tarball":"https://registry.npmjs.org/tptp/-/tptp-0.6.0.tgz","fileCount":12,"integrity":"sha512-cj48F+Y8MY0hcs3HLYsWjfuwF2r+Ix72n8z77RKqkHHRlqZ+pVK4JZgZs2ec5v2YGKxhRhsBpV9kZ9g/u5u0ug==","signatures":[{"sig":"MEYCIQDAZQ8q7CEk8NQf/bSc+Tn7HmXWleVBaKOKiEY1Ux7TCwIhAL0KUNQDO7H1WnNuU4tgeFhyC/LP5QMtkUxd5VIrrMQY","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":93091,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJcK6uTCRA9TVsSAnZWagAAfWwP/jwubKqLVwfXKTtvlgF8\nnHG2s6mmGVOaM1ivhANEh7AgTBwtMa50oajldHUS59laxfErcQamJt+b9QXs\nG+kEaj2XWuSbrYvV3ravgBIbyK+IaH83rGdE9/SqwEAG1shz9gbxy5VozpCs\n0/VQwCa1bxYZMQWlRLO5s+0XkwZ8PxBBGiY7U0iEQW+L1g83h+COfP1Sbans\nV/sJsyTinsELKyCqZS8ErDxqwRaI3X7+NwCVoXt/nCovoYlA+9aZ9Lt8SKRb\nCcxIpG++/apFHzomwVu5E+S2oTiUcpYmhGFcZnjuJW2fnaEDUZspSjkRVABd\ncGfM+iF6f/Cktmo5hnEDKJC5wHTfIrYh8URUZqH5RXsnTjacJsvXu8FDSvPW\nJcuyLxX9SsF/wpS52EHQsooj5MjuMut5k/RBG/8iompmgdHiU5cPBtDfrIHe\nLa2aE7UG3u/q5pqHvw9f0Jr8cwjCj+IfTxa/k8pnMkLdibb/GpJ9zxaHkMJz\nHxOVnaNcUOGuKvJq+vZgHSd2mrYvnOdZ1w9VpAl9UXV+FNzW5FLQI30cUtSe\nfP+pEgIySmtfob32dCO2jXTfVt1a94VIJek+c40cBNpF8C8/CQuOgXXm+3B2\n+WXsJmf9O+cm9XmKUcFn7lPTecKBj+vd2Fb3w4FM7ZRXP6JnIpchBufNOBtI\nEyDK\r\n=8l7c\r\n-----END PGP SIGNATURE-----\r\n"},"main":"index.js","_from":".","_shasum":"b5c642ef8203a058179d9f496482a68548a8cb15","engines":{"node":">= 6.10.3"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"mafu.fix.issues@gmail.com"},"repository":"","_npmVersion":"3.10.10","description":"Connecting to the TPTP Problem Library","directories":{},"_nodeVersion":"6.10.3","_hasShrinkwrap":false,"devDependencies":{"mocha":">= 3.4.2"},"_npmOperationalInternal":{"tmp":"tmp/tptp_0.6.0_1546365842630_0.9252378602876508","host":"s3://npm-registry-packages"}},"0.6.1":{"name":"tptp","version":"0.6.1","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@0.6.1","maintainers":[{"name":"mafu","email":"fuchsmat@yahoo.de"}],"dist":{"shasum":"75ab3ed4ef1b10aef8dafb1c22da8b30c0e1cd1e","tarball":"https://registry.npmjs.org/tptp/-/tptp-0.6.1.tgz","fileCount":12,"integrity":"sha512-h22o2puMH2h9RQKgwXthHvkr1n2XzaW4soDsn4cnMrs4siyxm1EguF8hd2W4zVrCO5mmKZHK34w8SB0XUel3LA==","signatures":[{"sig":"MEQCIEfNgRGXzLa6VnACl23IFNjB1b751sTVkSabZeNja45VAiAR4msbRraOcqQxIpOnANw7qsimmqh5g2fh0gGN/MTPIw==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":93051,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v3.0.4\r\nComment: https://openpgpjs.org\r\n\r\nwsFcBAEBCAAQBQJerEP5CRA9TVsSAnZWagAAAEMP/2Oz909cTf5jpEshwb3L\nd0Chl+h8S4Ih1BFl2By+OGcEEFPOYfhiBBnYyJ48wf0ybzPbXlkj3Vv5xgf8\nI2pjfEyINTOvc4qYizWJZuP8sjPj+p4+IbGBfEExZens6IltmnbXxkgF2yFR\n21pMVBRE4W03paT/jSexPhb3gCJxvcTNbJswcCxwTtsxZ1lEn+KOwm/H/R/r\nTthMlt6JohyQVhs74vxSGGeDVFeWHSsiD9PR48XcFfP1b+Zrh7fd2/pVgGf3\ntrTe7GoFMl8hjpRUzZMGKmAvAIMktEg3I8ui823lQRwcgLdYdHuXsJVKLK6a\nd9Najp34fXalUJCO5/07XxW/DFsPXiYCFImmhsfAnz9ezpIswR8jhRvUfDFM\nObhd+gBFVCww9IfR1xycd/O7OL29agrQojre2iP3bfnMUU4RX95URQokh4nk\nnCT1LG0jXtm9ztD0jVwFUTkKMpgTxxgnxz/DO+nHIHnVq38tXSRfsoO9Fe3Z\nODyttaU0eDQ1qYzoRrbrKASZ9EvVwz+dtoflI3m1sLSI+RD/pEx+VrK2ooqm\nBwhS1EY9+8m66RgQTxwCtkaseIwhdR2JY5Q2wbm897CDbovxMinxT1P56SAn\nz8Rm2PcC6SYDjz6Hzmt9DpV01KtAHvmVKAlcbFyp7T5oJdUEhXNiGamqtxWn\n5dSx\r\n=K+p+\r\n-----END PGP SIGNATURE-----\r\n"},"main":"index.js","_from":".","_shasum":"75ab3ed4ef1b10aef8dafb1c22da8b30c0e1cd1e","engines":{"node":">= 6.10.3"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"mafu.fix.issues@gmail.com"},"repository":"","_npmVersion":"3.10.10","description":"Connecting to the TPTP Problem Library","directories":{},"_nodeVersion":"6.10.3","_hasShrinkwrap":false,"devDependencies":{"mocha":">= 3.4.2"},"_npmOperationalInternal":{"tmp":"tmp/tptp_0.6.1_1588347897288_0.6062218073456318","host":"s3://npm-registry-packages"}},"1.0.0":{"name":"tptp","version":"1.0.0","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@1.0.0","maintainers":[{"name":"mafu","email":"mafu.fix.issues@gmail.com"}],"dist":{"shasum":"0a40df93683d6345408bf1c2c45d1aa626ada947","tarball":"https://registry.npmjs.org/tptp/-/tptp-1.0.0.tgz","fileCount":16,"integrity":"sha512-FgabSTYcn7KP5wvIWZrV9h36x9BLiv/kl9qxtgoKYMcgwLNyiZJOwjTGOm5EQ6tdBdki6C66hb/BPA6DBmAvZw==","signatures":[{"sig":"MEYCIQCWqfeirrlzUoqfdPCWBqZ2N81CF/aJufu3Me1wP3hECwIhAIg2afSWZgEVSq2/1cPbcZR5leyvjtbNfHmPGywtmXqE","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":102508,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJjliyzACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmpnbQ/5AMHj90wt7VTdFoetP7PMwEmYIzTjGWvD6umNcSs498kQEA6c\r\ns0Ary1VEmaxBiEEBwiWUWOZxkcecZXy0IcAtEZtMXZjpTtd5Y6iQrGX9pQPv\r\nb5sEWOOWwbhaaTCFA6qdgO+35uZ5/9Ji2r/UYn+Kasb5ezOndH0u4ugW/wZA\r\nloy72ZX8LWXytU/i/6msDIGwsiLi+Nk3/dxAUHy+LD8l/Gq/pViiLxOb500o\r\nXYCOVquF4taSlDyCzt05tsnYle00nWBSARFvK2vHnv+ZnwxdxH+aGhNUBz5o\r\nw8o3lTobodeGa3PbVm5eAuIm/DjSTsfD7tA+jQ1PclAVM0e3RdBiytK3o4pE\r\ny0jluNryRT+7Gm+m2d/KSmd0rK8KsfTd9HDQE9rz10fQBkPhFXu89LCGzjqx\r\nT97NH/82dSIK5RO7FuE7plOLPcT+ugUHW5uFkB1OjhpV3OJUpoJEogZ1TEDK\r\nJ4glWAx5em6lDw3onAn/LmMcqKLeyhlDWIr6zwCP12FQ4qNltOT6inqfx1t2\r\n62zUPK8ODScCvKIs/PcfhTAO6B2foiyiCI98uA39OmcxWTNRUnvS86Pvvcqz\r\n/t8tfCnG8GcVgxfXpDY2cYNLVjMwDELGeLzLGpLeXz6mff1G0CHEZB+wJagA\r\nRoW8Yg/jeCnihqL/P6NfIaA/Q7aUM3FwalU=\r\n=Y4lv\r\n-----END PGP SIGNATURE-----\r\n"},"main":"index.js","engines":{"node":">= 6.10.3"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"mafu.fix.issues@gmail.com"},"repository":"","_npmVersion":"9.1.3","description":"Connecting to the TPTP Problem Library","directories":{},"_nodeVersion":"14.21.1","_hasShrinkwrap":false,"devDependencies":{"mocha":">= 3.4.2"},"_npmOperationalInternal":{"tmp":"tmp/tptp_1.0.0_1670786227073_0.44429439881007227","host":"s3://npm-registry-packages"}},"1.0.1":{"name":"tptp","version":"1.0.1","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@1.0.1","maintainers":[{"name":"mafu","email":"mafu.fix.issues@gmail.com"}],"dist":{"shasum":"fe383b8196df9d2e3285f31ad0a1f69753fe3a93","tarball":"https://registry.npmjs.org/tptp/-/tptp-1.0.1.tgz","fileCount":16,"integrity":"sha512-IcRllmLHlUqmlIpSgzVviDStAdPjCX1J18Bfw36PVBGI8Q4OCWRWYcXZDGHZru4bjz9IHuiZzD8NelfO317bnw==","signatures":[{"sig":"MEUCIGl4PJV/9AOIjgtxnvpV/Cw6j3JmjzEJyGlAV04JCOC1AiEAvd1HVOU9m2YzXwwgRO+2wAgjFofo+8rHqaPHSGpd8A4=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":115971},"main":"index.js","engines":{"node":">= 6.10.3"},"scripts":{"test":"mocha tests/test*.js"},"_npmUser":{"name":"mafu","email":"mafu.fix.issues@gmail.com"},"repository":"","_npmVersion":"10.9.0","description":"Connecting to the TPTP Problem Library","directories":{},"_nodeVersion":"20.9.0","_hasShrinkwrap":false,"devDependencies":{"mocha":">= 3.4.2"},"_npmOperationalInternal":{"tmp":"tmp/tptp_1.0.1_1731266663723_0.5487327936848334","host":"s3://npm-registry-packages"}},"1.0.2":{"name":"tptp","version":"1.0.2","description":"Connecting to the TPTP Problem Library","main":"index.js","devDependencies":{"mocha":">= 3.4.2"},"scripts":{"test":"mocha tests/test*.js"},"engines":{"node":">= 6.10.3"},"repository":"","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"author":{"name":"Matthias Fuchs"},"license":"BSD","_id":"tptp@1.0.2","_nodeVersion":"18.19.1","_npmVersion":"9.2.0","dist":{"integrity":"sha512-Q4WdwI9Ke1zI7ekQOv7CHaS4sYN8bBSiJDm4iaJmj1/orMhe/pmd20myozMrW8x+gg8MI83qi+pRfDvtGvpJYQ==","shasum":"cde0d03f787125ea1bd01d5fadaf863afcca16b6","tarball":"https://registry.npmjs.org/tptp/-/tptp-1.0.2.tgz","fileCount":16,"unpackedSize":115979,"signatures":[{"keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U","sig":"MEYCIQCLZ8Y7fbvxhyQb899R6cCWw8XuV4cpj6G8QlapS0bLPAIhAOE2febi0g6Z4achrcrljDrZxgVwRa7wbBj7YleHPY+v"}]},"_npmUser":{"name":"mafu","email":"mafu.fix.issues@gmail.com"},"directories":{},"maintainers":[{"name":"mafu","email":"mafu.fix.issues@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages-npm-production","tmp":"tmp/tptp_1.0.2_1781641179553_0.6484615444622919"},"_hasShrinkwrap":false}},"time":{"created":"2013-11-01T11:23:51.780Z","modified":"2026-06-16T20:19:39.802Z","0.1.0":"2013-11-01T11:23:57.478Z","0.1.1":"2013-11-05T18:23:46.201Z","0.1.2":"2013-11-08T22:13:17.976Z","0.1.3":"2013-11-12T21:11:08.322Z","0.1.4":"2013-11-13T21:04:31.649Z","0.2.0":"2013-11-24T17:12:29.220Z","0.3.0":"2013-12-04T22:49:08.394Z","0.3.1":"2013-12-10T22:55:10.361Z","0.3.2":"2013-12-11T19:29:38.474Z","0.3.3":"2013-12-17T21:45:28.371Z","0.3.4":"2013-12-18T19:47:02.129Z","0.3.5":"2013-12-30T19:18:06.747Z","0.3.6":"2014-01-07T19:33:31.855Z","0.4.0":"2014-01-21T21:50:57.869Z","0.4.1":"2014-01-24T22:28:36.149Z","0.4.2":"2014-02-06T21:38:43.095Z","0.4.3":"2014-02-07T21:06:16.674Z","0.4.4":"2014-02-15T21:58:03.404Z","0.4.5":"2014-02-24T20:52:11.096Z","0.4.6":"2014-07-13T16:46:55.582Z","0.4.7":"2014-08-04T20:22:58.544Z","0.4.8":"2014-09-14T19:20:11.514Z","0.4.9":"2015-01-02T20:31:05.566Z","0.4.10":"2015-02-19T21:07:34.296Z","0.4.11":"2015-05-20T21:23:24.265Z","0.5.0":"2015-08-03T19:10:22.771Z","0.5.1":"2015-11-01T21:58:02.580Z","0.5.2":"2017-10-14T19:28:49.147Z","0.5.3":"2018-12-28T19:48:11.302Z","0.6.0":"2019-01-01T18:04:02.791Z","0.6.1":"2020-05-01T15:44:57.407Z","1.0.0":"2022-12-11T19:17:07.229Z","1.0.1":"2024-11-10T19:24:23.926Z","1.0.2":"2026-06-16T20:19:39.698Z"},"author":{"name":"Matthias Fuchs"},"license":"BSD","keywords":["TPTP","ATP","theorem proving","automated reasoning"],"description":"Connecting to the TPTP Problem Library","maintainers":[{"name":"mafu","email":"mafu.fix.issues@gmail.com"}],"readme":"# TPTP\n\nThis package provides a client for the [TPTP](https://www.tptp.org) that facilitates\naccess to the TPTP's comprehensive collection of ATP problems and ATP systems.\n\n_Note_: If you want to run the tests included in this package (using ```npm test```) be aware that\nenvironment variable ```HTTP_PROXY``` must be set to define a proxy _if and only if_ a proxy is\nrequired. The proxy defined this way may include the port (separated from the host by a colon).\nIf no port is given it defaults to ```8080```.\n\n## Quick Run\n```tptpClient.js``` can be used to explore the basics of the TPTP client.\nRun\n```bash\n$ node tptpClient\n```\nfor usage information.\n\n## Usage\n```js\nconst tptp = require('./'); // assuming this code is executed in the installation directory of package tptp\nconst tptpClient = tptp.tptpClient;\nconst converter = tptp.converter;\n```\n\n## Object _tptpClient_\nObject ```tptpClient``` represents a TPTP client and provides TPTP access through the following functions\n(listed in alphabetical order). Most of these functions are asynchronous. They return a ```Promise``` unless\na callback function is supplied. In the latter case the callback function should accept two arguments, the first one\nbeing an error object. If no error occurred the error object is ```null``` and the second argument is the result\nof the asynchronous call. Let us look at a simple example that fetches all domains and prints the number of domains\non the console, or an error if the call failed. First without a callback function:\n\n```js\ntptpClient.getDomainNames().then(domains => console.log(domains.length)).catch(err => console.log(err));\n```\nand secondly with classic callback:\n```js\ntptpClient.getDomainNames((err, domains) => {\n  if (err)\n    console.log(err);\n  else\n    console.log(domains.length);\n});\n```\nThe callback parameter (```cb```) will be shown in brackets wherever it occurs to indicate that it is optional, and that\nby omitting it a ```Promise``` will be returned.\n\n### createQuery (stringent)\nCreates a query that can be used to submit a query (see __submitQuery__). The query created is an object\nthat offers the following functions to set (or unset) query parameters, thereby shaping the result returned\nby ```submitQuery``` when given this query object.\nAll these methods take one or no parameter (a string). If a parameter is provided its value is set as\nthe value of the respective property unless the value is invalid, in which case the property is\ndeleted (if ```stringent``` is anything equivalent to ```false```) or an exception\nis thrown detailing the cause and remedy (if ```stringent``` is anything equivalent to\n```true```). If no parameter is given the respective property is deleted.\n\n* ```setForm```: valid parameter values are 'TH0', 'TF0', 'FOF', 'CNF'\n\n* ```setStatus```: valid parameter values are 'THM', 'CSA', 'UNK', 'UNS', 'SAT', 'OPN'\n\n* ```setOrder```: valid parameter values are 'PRP', 'EPR', 'FHU', 'RFO'\n\n* ```setPredicates```: valid parameter values are 'PC1', 'PCN'\n\n* ```setEquality```: valid parameter values are 'NEQ', 'SEQ', 'PEQ', 'EQU'\n\n* ```setUnitEquality```: valid parameter values are 'NUE', 'UEQ'\n\n* ```setArithmetic```: valid parameter values are 'NAR', 'ARI'\n\n* ```setHorn```: valid parameter values are 'HRN', 'NHN'\n\n* ```setRRClauses```: valid parameter values are 'RRE', 'NRR'\n\n* ```setFormulae```: valid parameter values are 'SML', 'MED', 'LRE', 'XLG'\n\n* ```setClauses```: valid parameter values are 'CSM', 'CMD', 'CLG', 'CXD'\n\n* ```setDiscreteRating```: valid parameter values are 'ESY', 'DIF', 'USO'\n\n* ```setVersion```: valid parameter values are 'STD', 'INC', 'AUG', 'ESP', 'BIA', 'UNB'\n\nTo invert or negate a property the functions ```setFormNeg```, ```setStatusNeg```, etc can be used.\nSupply a parameter representing ```true``` to activate negation, no parameter or ```false``` to\ndeactivate negation.\n\nThe functions all return the query object itself to permit \"method chaining.\"\n\nOn top of these functions there are two functions for white or black listing domains:\n\n* ```restrictedToDomains```\n\n* ```excludeDomains```\n\nBoth functions accept any number of domain names or an array of domain names.\n\n_Example_: The following query is set up to search for non-satisfiable propositional problems given in CNF\nrestricted to the domains ```'PUZ'``` and ```'NUM'```:\n\n```js\nlet query = tptpClient.createQuery()\n  .setForm('CNF')\n  .setOrder('PRP')\n  .setStatus('SAT')\n  .setStatusNeg(true)\n  .restrictedToDomains('PUZ', 'NUM');\n```\n\n### getAxiomSet (name[, cb])\nGets the axiom set file specified by its name. The result of this call is the contents of the axiom set file as a string.\n\n### getAxiomSetNames ([cb])\nGets the names of all axiom sets. The result of this call is\nan array of string values, each of which is the name of an axiom set.\n\n### getDomainNames ([cb])\nGets all domain names. The result of this call is\nan array of string values, each of which is the name of a domain.\n\n### getProblem (domain, name[, cb])\nGets the problem file specified by its domain and name.\nThe result of this call are the contents of the specified problem file (a string).\n\n### getProblemNames (domain[, cb])\nGets the problem names for the specified domain.\nThe result of this call is an array of string values, each of which is a problem name of\nthe given domain.\n\n### getProblemWithAxiomSetsIncluded (domain, name[, cb])\nGets the problem file specified by its domain and name with all axiom sets included.\nThe result of this call are\nthe contents of the specified problem file (a string) with all occurrences of the ```include``` command for\naxiom sets replaced with the contents of the respective axiom set file.\n\n_See also_: __includeAxiomSets__\n\n### getProxy ()\nGets the proxy currently used by the TPTP client to send HTTP requests. It returns ```null``` if no\nproxy has been set (and hence no proxy is used), or a string of the form ```'<hostName>:<port>'```.\n\n### includeAxiomSets (problem[, cb])\nIncludes axiom sets for the given ```problem``` (contents of a problem file, i.e. a string).\nIn other words all occurrences of the ```include``` command are replaced with the\ncontents of the respective axiom set file. The result of this call are\nthe contents of the problem file with all axiom set inclusions replaced.\n\n_See also_: __getProblemWithAxiomSetsIncluded__\n\n### runParallel (problem, nSys, options[, cb])\nRuns the systems considered most suitable for solving the given problem.\n\nParameter ```problem``` is a string that can be either a problem file name of the TPTP\n(with or without extension ```.p```),\na problem in TPTP syntax, or a local file name containing such a problem.\n\nThe number of systems to run in parallel is specified through ```nSys``` (default is 1).\n\nThe result of this call is\nthe result of the system run. See __runSystem__ for details on the result object. (Note that in parallel\nmode ```systemOutput``` is never supplied.)\n\nOptions can be provided through the properties of an object ```options```.\nThe following properties are recognized:\n\n* ```timeout```: a number specifying the timeout or time limit in seconds; the default is 300 seconds\n\n### runSuggestedSystem (problem, options[, cb])\nRuns the system considered best suited for the given problem. This is a convenience method\nfor calling \n```js\ntptpClient.runParallel(problem, 1, options, cb);\n```\n\n### runSystem (system, problem, options[, cb])\nRuns the given system to solve the given problem\n(cp. [System on TPTP](https://www.tptp.org/cgi-bin/SystemOnTPTP)).\n\nParameter ```system``` can be specified through an object returned by __suggestSystem__ or __suggestSystemList__,\nor a system name understood by the TPTP (such as ```'E---1.8'```, for instance).\n\nParameter ```problem``` is a string that can be either a problem file name of the TPTP\n(with or without extension ```.p```),\na problem in TPTP syntax, or a local file name containing such a problem.\n\nThe result of this call is\nthe result of the system run. The result is an object that summarizes the system run through the following\nproperties:\n\n* ```problemName```: the name of the problem\n\n* ```systemName```: the name of the system that solved (or attempted to solve) the problem\n\n* ```result```: the outcome of the system run (such as ```Satisfiable```, for instance)\n\n* ```cpuTime```: the CPU time\n\n* ```wallClockTime```: the wall clock time\n\n* ```systemOutput```: the system-specific output (only if requested through option flag ```includeSystemOutput```)\n\nNote that in particular the values of properties ```result``` and of course ```systemOutput```\nvary from system to system. \n\nOptions can be provided through the properties of an object ```options```.\nThe following properties are recognized:\n\n* ```command```: the command used to run the given system; the default is system-specific\n(see [System on TPTP](http://www.tptp.org/cgi-bin/SystemOnTPTP))\n\n* ```format```: the input format; the default is system-specific (typically ```'tptp:raw'```;\nsee [System on TPTP](http://www.tptp.org/cgi-bin/SystemOnTPTP))\n\n* ```includeSystemOutput```: a flag indicating that system output should be included in the result object\n\n* ```timeout```: a number specifying the timeout or time limit in seconds; the default is 60 seconds\n\n_See also_: __runSuggestedSystem__, __suggestSystem__, __suggestSystemList__\n\n### setProxy (hostName, port)\nSets the proxy to be used by the TPTP client for sending HTTP requests. If ```hostName``` is ```null```\nor undefined no proxy is set or used. Otherwise the proxy is set as specified by ```hostName```.\nNote that ```hostName``` may include the port (separated from the actual host name by a colon). If the second\nparameter ```port``` is supplied it will override any port specified through parameter ```hostName```. If no\nport is specified it will default to ```8080```.\n\n### submitQuery (query, problemNamesOnly[, cb])\nSubmits the given query to search the TPTP for problems satisfying the constraints specified through the\nquery parameters, i.e. properties of the query.\n\nThe result of this call is\nthe result of the search. If parameter ```problemNamesOnly``` is not supplied or ```false``` the result is\nan array containing objects, one for each domain that contributes search results. Each such object has two\nproperties, namely ```domain``` and ```problemNames```, the name of the domain and an array of problem\nnames, respectively. If parameter ```problemNamesOnly``` is ```true``` then the result is an array containing\nthe names of all qualifying problems. Thus there is no domain information in this latter case.\n\nThe query object is best created with __createQuery__. It may of course also be produced in a different\nmanner reflecting the conventions employed by [tptp2T Online](http://www.tptp.org/cgi-bin/TPTP2T).\n\n### suggestSystem (problem[, cb])\nSuggests a system considered best suited to solve the given problem.\n\nParameter ```problem``` is a string that can be either a problem file name of the TPTP\n(with or without extension ```.p```),\na problem in TPTP syntax, or a local file name containing such a problem.\n\nTThe result of this call is\nan object representing the suggested system. If no suitable system could be found the object returned\n```null```. Otherwise the object can be used as parameter ```system``` of __runSystem__. Such an object\noffers the following methods (all returning a string):\n\n* ```getName()```: the name of the system (without version or an optional suffix)\n\n* ```getVersion()```: the version of the system \n\n* ```getSuffix()```: the (optional) suffix of the system (```null``` if there is no suffix)\n\n* ```getFullName()```: the full name of the system including version (and suffix)\n\n* ```getTptpName()```: the name understood by the TPTP (see also __runSystem__)\n\n* ```getStatus()```: the status of the system (either ```'recommended'``` or ```'subsumed'```)\n\n* ```getSpc()```: the SPC (a number, albeit a string, ranging from ```'0.00'``` to ```'1.00'```) \n\n_See also_: __suggestSystemList__, __runSystem__\n\n### suggestSystemList (problem[, cb])\nSuggests a list of systems considered suitable to solve the given problem, in descending order of\nsuitability. (In other words, the best suited system is the first in the list.)\n\nParameter ```problem``` is a string that can be either a problem file name of the TPTP\n(with or without extension ```.p```),\na problem in TPTP syntax, or a local file name containing such a problem.\n\nThe result of this call is\nan array of objects, each representing a suitable system.\nIf no suitable system could be found then the array is empty.\nEach of the objects in the array returned can be used as parameter ```system``` of __runSystem__.\n(Consult the documentation of __suggestSystem__ for more details on such an object.)\nThe array itself has a method ```toString()``` that produces a formatted list of the systems in the array.\n\n_See also_: __suggestSystem__, __runSystem__\n\n## Object _converter_\nObject ```converter``` offers conversion facilities for converting between TPTP syntax and other well established\nformats. For instance, the data read by ```tptpClient``` could be piped into\na converter as shown in the following example:\n```js\ntptpClient.getProblemWithAxiomSetsIncluded('GRA','GRA001-1.p')\n  .then(data => console.log(converter.tptpToDimacs(data)))\n  .catch(err => console.log(err));\n```\nor with the classic callback function:\n```js\ntptpClient.getProblemWithAxiomSetsIncluded(\n  'GRA',\n  'GRA001-1.p',\n  function (err,data)\n  {\n    if (err)\n      console.log(err);\n    else\n      console.log(converter.tptpToDimacs(data));\n  }\n);\n```\nThe above piece of code will convert TPTP problem ```GRA001-1.p``` into\n[DIMACS](http://www.satlib.org/Benchmarks/SAT/satformat.ps) format\nand write the result to the console. For conversion into\n[JSON](http://en.wikipedia.org/wiki/JSON) replace ```converter.tptpToDimacs```\nwith ```converter.tptpToJson```.\n\nConversely, a DIMACS problem can be submitted to the TPTP and solved using\n```js\ntptpClient.runSystem('E---', converter.dimacsToTptp('1 2 0 -1 0 -2 0'))\n  .then(data => console.log(data.systemName, 'says', data.result))\n  .catch(err => console.log(err));\n```\nor again with the classic callback function:\n```js\ntptpClient.runSystem(\n  'E---',\n  converter.dimacsToTptp('1 2 0 -1 0 -2 0'),\n  function(err,data)\n  {\n    if (err)\n      console.log(err);\n    else\n      console.log(data.systemName, 'says', data.result);\n  }\n);\n```\n\n### dimacsToTptp (data, dropComments)\nConverts the data (a string) given in the CNF format for propositional problems proposed by\n[DIMACS](http://www.satlib.org/Benchmarks/SAT/satformat.ps) and used by\n[SATLib](http://www.satlib.org/) into TPTP syntax.\n\nNote that the converter assumes\nproper DIMACS syntax (clauses terminated by the digit ```0```), but is rather lenient regarding\nthe specification line (starting with ```p```) in that its existence is neither enforced nor\nis it used for checking the number of clauses or literals.\n\nComments are preserved unless parameter ```dropComments``` is supplied and evaluates to ```true```.\n\n### peqToTptp (axioms, goals, varNamePattern)\nConverts a pure (unit) equality problem into TPTP first-order form (fof). At the moment, neither\ntypes nor built-in theories are supported, and all variables are assumed to be universally quantified.\n(I.e., there is no support for quantifiers either.)\n\nThe conversion algorithm assumes standard syntax for unit equality, such as ```f(x,a) = x```\nor ```f(x,inv(x)) = a()```, for instance. Any characters except for opening and closing parenthesis,\ncomma, '=', '!', and white spaces can be part of a name (of a variable, constant, or\nfunction). All white spaces are ignored.\n\nIf no pattern (regex) for variable names is provided through parameter ```varNamePattern```,\nany name not followed by an opening parenthesis is assumed to be a variable. If a pattern is provided,\nthen the name must additionally match the pattern to be a variable (see examples below).\n\nAxioms can be given as a single string if there is but one axiom. Otherwise axioms must be provided\nas an array of strings. The same goes for goals. Goals may be provided as positive equations (using\n'=') or negative equations (using '!=') resulting in fof roles ```conjecture``` or\n```negated_conjecture```, respectively.\n\nAll variables are converted into ```X1```, ```X2```, and so on, depending on the order of appearance.\nNames of constants and functions are preserved\nas long as they comply with TPTP syntax. Otherwise they are replaced with ```lw_1```,\n```lw_2```, and so on, depending on the order of appearance.\n\n### _Examples_:\nIf no pattern for variable names is given, any constants must be followed by an opening (and\nclosing) parenthesis. Any other name is considered a variable. Thus,\n```js\nconsole.log(converter.peqToTptp('f(a,b())=a','f(b(),x)=b()'));\n```\nproduces\n```js\nfof(ax1,axiom,(![X1]:f(X1,b)=X1)).\nfof(goal1,conjecture,(![X1]:f(b,X1)=b)).\n```\nIf a pattern is provided, constants can also be given without parentheses. In this example, a name starting\nwith 'x', 'y', or 'z' (followed by zero or more digits) is considered a variable. Thus,\n```js\nconsole.log(converter.peqToTptp(\n  ['f(x,a)=x','f(x,i(x))=a','f(f(x,y),z)=f(x,f(y,z))'],\n  ['f(a,x)=x','i(i(c))!=c'],\n  /^[xyz]\\d*$/)\n);\n```\nproduces\n```js\nfof(ax1,axiom,(![X1]:f(X1,a)=X1)).\nfof(ax2,axiom,(![X1]:f(X1,i(X1))=a)).\nfof(ax3,axiom,(![X1,X2,X3]:f(f(X1,X2),X3)=f(X1,f(X2,X3)))).\nfof(goal1,conjecture,(![X1]:f(a,X1)=X1)).\nfof(goal2,negated_conjecture,(i(i(c))!=c)).\n```\n\n### tptpToDimacs (data)\nConverts the given data (a string) into the CNF format for propositional problems proposed by\n[DIMACS](http://www.satlib.org/Benchmarks/SAT/satformat.ps) and used by\n[SATLib](http://www.satlib.org/).\nThe data must be a propositional problem specified in CNF (with all axiom sets included).\n\n### tptpToJson (data, dropTopLevelParentheses)\nConverts the given data (a string) into the [JSON](http://en.wikipedia.org/wiki/JSON) format.\nThe data can be an arbitrary TPTP problem, but all axiom sets must be included.\nThis function returns an array of objects. Each object represents a formula of the\ngiven problem through the following properties:\n\n* ```type```: the type of the formula (```'cnf'```, ```'fof'```, etc)\n\n* ```name```: the name of the formula\n\n* ```role```: the role of the formula (```'axiom'```, ```'conjecture'```, etc)\n\n* ```formula```: the formula itself (all line feed characters, leading spaces, and comments have been removed)\n\n* ```source```: the source of the formula (this property may be undefined)\n\n* ```info```: optional information (this property may be undefined)\n\nThe type of all these property values is ```string```.\n\nIf the optional parameter ```dropTopLevelParentheses``` is provided and evaluates to ```true```\nthen top-level parentheses enclosing formulas are removed. In both cases leading and trailing spaces\nare trimmed.\n","readmeFilename":"README.md"}