An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

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

    Loading...
    Readme
    Loading...