A parser of relational predicate logic & truth tree solver, written in Rust.
Home Page:https://ixjf.github.io/logic-rs/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool