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