Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io : rustsat
This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of use without giving up on performance.
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/rustsat
Keywords: satisfiability, sat, encodings
License: MIT
Latest release: about 1 month ago
First release: 11 months ago
Dependent packages: 9
Downloads: 5,928 total
Stars: 8 on GitHub
Forks: 5 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 5 days ago