/logic-rs

A parser of relational predicate logic & truth tree solver, written in Rust.

Primary LanguageRustMIT LicenseMIT

Stargazers