Lib.rs

›

#reasoning #mechanical #system

app mrs

by Olivier ROLAND

Install
Source

1 unstable release

0.1.0	Jun 11, 2020

#6 in #mechanical

GPL-3.0-or-later

2KB

Mechanical reasoning system

No runtime deps

See also: scryer-prolog, hooo, deep_causality, chronologic, reasonable, machine-check, rdfox-rs, monotonic_solver, kontroli, machine-check-exec, linear_solver

Lib.rs is an unofficial list of Rust/Cargo crates, created by kornelski. It contains data from multiple sources, including heuristics, and manually curated data. Content of this page is not necessarily endorsed by the authors of the crate. This site is not affiliated with nor endorsed by the Rust Project. If something is missing or incorrect, please file a bug.