Giters

ixjf / logic-rs

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

ixjf/logic-rs Stargazers