phptailors/logic

First-order logic

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

This package is auto-updated.

Last update: 2022-06-26 15:21:40 UTC


README

Unit Tests Code Quality Docs Tests Docs Deploy Type Coverage Code Coverage

Logic

First-order logic implementation in PHP

Under development

The project is in initial phase. No releases yet!

Online documentation