Data

Tools

Indexes

Applications

Experiments

Packages

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

debug_sat

A debuggable automatic theorem prover for boolean satisfiability problems (SAT).

Ecosystem
crates.io
Latest Release
0.4.0
over 8 years ago
Versions
4
Downloads
7,144 total
    Loading...
    Readme
    Loading...
    Links
    Registry crates.io
    Source Repository
    Docs Documentation
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:cargo/debug_sat
    spec
    License MIT
    First Release over 8 years ago
    Last Synced 7 days ago
    Keywords
    sat automated debug theorem proving
    Repository
    Stars 4 on GitHub
    Forks 1 on GitHub
    repos.ecosyste.ms
    Funding
    https://github.com/sponsors/bvssvni