Lib.rs

› Science › Math

#logic #propositional

logic

Owned by nextzhou.

Install
API reference
Source

1 unstable release

Uses old Rust 2015

0.1.0	Mar 11, 2018

#10 in #propositional

MIT license

11KB
300 lines

propositional logic

No runtime deps

See also: predicates, splr, openssl-src, phf_generator, jsonlogic-rs, lsts, avalog, ra_ap_proc_macro_api, azure_mgmt_logic, ra_ap_hir

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.