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: 3 days ago
ctlog 0.6.0
SAT-Based Combinatorial Testing in Python2 versions - Latest release: almost 2 years ago - 243 downloads last month - 1 maintainer
Check this option to include packages that no longer depend on this package in their latest version but previously did.