Top 9.2% dependent packages on crates.io
crates.io : rsat
SAT Solver
Registry
-
Source
- Homepage
- Documentation
- JSON
purl: pkg:cargo/rsat
Keywords:
math
, solver
, boolean
, satisfiability
, sat
, cdcl
, sat-solver
, satifiability
, sls
, unsat
License: MIT
Latest release: almost 5 years ago
First release: almost 6 years ago
Dependent packages: 3
Dependent repositories: 3
Downloads: 17,685 total
Stars: 3 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 24 days ago
Loading...
Readme
Loading...