Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / meelgroup / breakid

BreakID, a CNF symmetry-breaking library and tool

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/meelgroup%2Fbreakid
PURL: pkg:github/meelgroup/breakid

Stars: 8
Forks: 3
Open issues: 1

License: other
Language: C++
Size: 451 KB
Dependencies parsed at: Pending

Created at: about 6 years ago
Updated at: about 2 months ago
Pushed at: about 2 months ago
Last synced at: about 2 months ago

Topics: cnf, satisfiability, symmetry-breaking

    Loading...