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
about 8 years ago
Versions
4
Downloads
7,143 total
Past Dependents
Include Past Dependents

Check this option to include packages that no longer depend on this package in their latest version but previously did.

Filter
Filter by Kind
All kinds
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 about 8 years ago
Last Synced 5 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