crates.io : satoxid
Boolean satisfiability problem encoding library written in rust.
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/satoxid
Keywords:
sat
, dimacs
, sat-solver
, satisfiability
License: MIT
Latest release: about 4 years ago
First release: about 4 years ago
Downloads: 3,770 total
Stars: 9 on GitHub
Forks: 1 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 22 days ago
Loading...
Readme
Loading...