issues
search
ixjf
/
logic-rs
A parser of relational predicate logic & truth tree solver, written in Rust.
https://ixjf.github.io/logic-rs/
MIT License
16
stars
1
forks
source link
Look into piston_meta as a replacement for the language parser
#23
Open
ixjf
opened
4 years ago