GitHub / RaphaelBonatti / propositional-logic-prover-python
A propositional logic prover implemented using resolution refutation.
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/RaphaelBonatti%2Fpropositional-logic-prover-python
PURL: pkg:github/RaphaelBonatti/propositional-logic-prover-python
Stars: 0
Forks: 0
Open issues: 0
License: apache-2.0
Language: Python
Size: 43 KB
Dependencies parsed at: Pending
Created at: about 1 year ago
Updated at: 5 months ago
Pushed at: 5 months ago
Last synced at: 5 months ago
Topics: proof, propositional-logic, propositional-resolution, prover, python, reasoning-algoritm
Loading...