6 releases
0.2.0 | Nov 13, 2022 |
---|---|
0.1.4 | Nov 12, 2022 |
0.1.1 | Oct 17, 2022 |
#7 in #propositional
Used in mini-prop
52KB
1K
SLoC
A crate to simplify work with Propositional Statements
Dependencies
~315KB
0.2.0 | Nov 13, 2022 |
---|---|
0.1.4 | Nov 12, 2022 |
0.1.1 | Oct 17, 2022 |
#7 in #propositional
Used in mini-prop
52KB
1K
SLoC
A crate to simplify work with Propositional Statements
~315KB