crates.io : otter_sat
A library for determining the satisfiability of boolean formulas written in conjunctive normal form, developed to support investigation into solvers by researchers, developers, or anyone curious.
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/otter_sat
Keywords:
logic
, sat
, sat-sovler
, satisfiability
, logic-programming
, rust-crate
, rust-library
, sat-solver
License: AGPL-3.0-or-later
Latest release: 6 months ago
First release: 7 months ago
Downloads: 1,638 total
Stars: 0 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 11 days ago