6 releases
0.0.5 | Mar 15, 2021 |
---|---|
0.0.4 | Mar 12, 2021 |
0.0.2 | Nov 24, 2020 |
0.0.0 | Oct 17, 2020 |
#1620 in Algorithms
49KB
1.5K
SLoC
Dependencies
~1.5MB
~31K SLoC
Rust implementation of the rational deduction algorithm
0.0.5 | Mar 15, 2021 |
---|---|
0.0.4 | Mar 12, 2021 |
0.0.2 | Nov 24, 2020 |
0.0.0 | Oct 17, 2020 |
#1620 in Algorithms
49KB
1.5K
SLoC
~1.5MB
~31K SLoC