{"packages":{"phptailors/logic":{"dev-devel":{"name":"phptailors/logic","description":"First-order logic","keywords":[],"homepage":"","version":"dev-devel","version_normalized":"dev-devel","license":["MIT"],"authors":[{"name":"Paweł Tomulik","email":"ptomulik@meil.pw.edu.pl"}],"source":{"url":"https://github.com/phptailors/logic.git","type":"git","reference":"e05871cd15bf5b5b42fb2f58c1dddeddd1ceb4d1"},"dist":{"url":"https://api.github.com/repos/phptailors/logic/zipball/e05871cd15bf5b5b42fb2f58c1dddeddd1ceb4d1","type":"zip","shasum":"","reference":"e05871cd15bf5b5b42fb2f58c1dddeddd1ceb4d1"},"type":"library","time":"2022-01-26T13:34:14+00:00","autoload":{"psr-4":{"Tailors\\Logic\\":"src/"}},"require":{"php":"^7.4 || ^8.0","ext-pcre":"*"},"require-dev":{"phpunit/phpunit":"^9.4","phptailors/phpunit-inheritance":"dev-master","vimeo/psalm":"4.x-dev","psalm/plugin-phpunit":"^0.16","psy/psysh":"^0.11.1","behat/behat":"^3.10"},"uid":5871140},"dev-master":{"name":"phptailors/logic","description":"First-order logic","keywords":[],"homepage":"","version":"dev-master","version_normalized":"9999999-dev","license":["MIT"],"authors":[{"name":"Paweł Tomulik","email":"ptomulik@meil.pw.edu.pl"}],"source":{"url":"https://github.com/phptailors/logic.git","type":"git","reference":"e05871cd15bf5b5b42fb2f58c1dddeddd1ceb4d1"},"dist":{"url":"https://api.github.com/repos/phptailors/logic/zipball/e05871cd15bf5b5b42fb2f58c1dddeddd1ceb4d1","type":"zip","shasum":"","reference":"e05871cd15bf5b5b42fb2f58c1dddeddd1ceb4d1"},"type":"library","time":"2022-01-26T13:34:14+00:00","autoload":{"psr-4":{"Tailors\\Logic\\":"src/"}},"default-branch":true,"require":{"php":"^7.4 || ^8.0","ext-pcre":"*"},"require-dev":{"phpunit/phpunit":"^9.4","phptailors/phpunit-inheritance":"dev-master","vimeo/psalm":"4.x-dev","psalm/plugin-phpunit":"^0.16","psy/psysh":"^0.11.1","behat/behat":"^3.10"},"uid":5871139}}}}