Ecosyste.ms: Packages

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

Top 9.0% on proxy.golang.org

proxy.golang.org : github.com/timbeurskens/gobdd

An ROBDD & CDCL based SAT solver

Registry - Source - Documentation - JSON
purl: pkg:golang/github.com/timbeurskens/gobdd
Keywords: bdd, boolean-algebra, cdcl, cnf, cnf-clauses, sat, sat-solver, smtlib, tseitin-transformation
License:
Latest release: over 2 years ago
First release: over 2 years ago
Namespace: github.com/timbeurskens
Stars: 0 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 21 days ago

    Loading...
    Readme
    Loading...