Add support for counter models

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

Open ixjf opened 5 years ago