pypi.org : optilog
SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
Registry
-
Source
- Homepage
- Documentation
- JSON
purl: pkg:pypi/optilog
Keywords:
sat
, maxsat
, constraint
, solver
, problem
, docker
, reproducibility
, sat-solvers
License: Other
Latest release: 7 months ago
First release: over 3 years ago
Dependent packages: 2
Dependent repositories: 1
Downloads: 1,681 last month
Stars: 38 on GitHub
Forks: 3 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: about 21 hours ago