dimglyn/propositional-logic

Export conclusions with resolution (resolution) / conclusions with forward chaining for (definite) Horn clauses of propositional logic

/ 100

Experimental

No commits in the last 6 months.

No License Stale 6m No Package No Dependents

Maintenance 0 / 25

Adoption 0 / 25

Maturity 8 / 25

Community 2 / 25

Stars

—

Forks

Language

Java

License

—

Category

Last pushed

Aug 11, 2018

Commits (30d)

Get this data via API

curl "https://pt-edge.onrender.com/api/v1/quality/ai-coding/dimglyn/propositional-logic"

Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.

Higher-rated alternatives

leoprover/scala-tptp-parser

A parser for the TPTP logic languages for automated theorem proving written in Scala

sramakrishnan247/ProveMe

A Theorem Prover for Propositional Logic

sdcondon/SCPropositionalLogic

Very simple propositional logic knowledge base implementations. Includes language integration features.

leoprover/ask

Stand-alone Skolemizer for TPTP formulas