PyRank

Propositional Resolution Python Packages

Python packages with the GitHub topic propositional-resolution. Sorted by relevance, with stars and monthly downloads.
Cubix1729
logicalpy

A Python library providing basic functionalities for manipulating propositional logic

313 2 0