Data

Tools

Indexes

Applications

Experiments

Packages

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

github.com/ericr/saturday

A SAT solver. It's maybe kinda fast and correct?

Ecosystem
proxy.golang.org
Latest Release
v0.0.0-20181222031909-45bf4ccb9a4d
about 7 years ago
Versions
1
    Loading...
    Readme
    Loading...
    Links
    Registry proxy.golang.org
    Source Repository
    Docs Documentation
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:golang/github.com/ericr/saturday
    spec
    License MIT
    Namespace github.com/ericr
    First Release about 7 years ago
    Last Synced 27 days ago
    Keywords
    sat satisfiability solver
    Repository
    Stars 0 on GitHub
    Forks 0 on GitHub
    repos.ecosyste.ms