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