crates.io : solhop
SAT and MaxSAT Solver
Registry
-
Source
- Homepage
- Documentation
- JSON
purl: pkg:cargo/solhop
Keywords:
boolean
, solver
, maxsat
, sat
, satisfiability
, maxsat-solver
, sat-solver
, unsat
License: MIT
Latest release: almost 5 years ago
First release: almost 5 years ago
Downloads: 1,547 total
Stars: 0 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 17 days ago
Loading...
Readme
Loading...