Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io : logicng-open-wbo-sys

LogicNG Bindings for OpenWBO

Registry - Source - Homepage - Documentation - JSON
purl: pkg:cargo/logicng-open-wbo-sys
Keywords: ffi, solver, maxsat
License: MIT,Apache-2.0
Latest release: 9 months ago
First release: 9 months ago
Dependent packages: 1
Downloads: 1,033 total
Stars: 7 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 5 days ago

logicng 0.1.0-alpha.3

A Library for Creating, Manipulating, and Solving Boolean Formulas
3 versions - Latest release: 9 months ago - 1.05 thousand downloads total - 7 stars on GitHub - 3 maintainers