#rational #algorithm #deduction

nightly rational_deduction

Rust implementation of the rational deduction algorithm

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

ISC license

49KB
1.5K SLoC

rational_deduction

Workflow Status Latest Version Documentation

Rust implementation of the rational deduction algorithm


Author License GitHub Repo

Dependencies

~1.5MB
~31K SLoC