phptailors/logic

First-order logic

dev-master 2022-01-26 13:34 UTC

Requires

• php: ^7.4 || ^8.0
• ext-pcre: *

Requires (Dev)

• behat/behat: ^3.10
• phptailors/phpunit-inheritance: dev-master
• phpunit/phpunit: ^9.4
• psalm/plugin-phpunit: ^0.16
• psy/psysh: ^0.11.1
• vimeo/psalm: 4.x-dev

MIT

• Paweł Tomulik

README

Logic

First-order logic implementation in PHP

Under development

The project is in initial phase. No releases yet!

Online documentation

• https://phptailors.github.io/logic/docs