Data

Tools

Indexes

Applications

Experiments

Packages

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

crates.io "maxsat" keyword

View the packages on the crates.io package registry that are tagged with the "maxsat" keyword.

solhop-types 0.1.0
Types for SolHOP
1 version - Latest release: almost 5 years ago - 3 dependent packages - 3.96 thousand downloads total - 0 stars on GitHub - 1 maintainer
msat 0.1.1
MaxSAT Solver
2 versions - Latest release: almost 5 years ago - 1 dependent package - 3.52 thousand downloads total - 0 stars on GitHub - 1 maintainer
solhop 0.1.0
SAT and MaxSAT Solver
1 version - Latest release: almost 5 years ago - 1.55 thousand downloads total - 0 stars on GitHub - 1 maintainer
maxpre 0.2.5
Rust bindings for the (MO-)MaxSAT preprocessor MaxPre
6 versions - Latest release: 3 months ago - 1 dependent package - 6.35 thousand downloads total - 0 stars on GitHub - 1 maintainer
logicng-open-wbo-sys 0.1.0-alpha.3
LogicNG Bindings for OpenWBO
3 versions - Latest release: almost 2 years ago - 1 dependent package - 3.59 thousand downloads total - 11 stars on GitHub - 3 maintainers
scuttle 0.4.0
A multi-objective MaxSAT solver.
5 versions - Latest release: 3 months ago - 1 dependent repositories - 5.39 thousand downloads total - 6 stars on GitHub - 1 maintainer
scuttle-proc 0.2.0
Procedural macros for scuttle. This crate is not intended to be used outside of scuttle.
3 versions - Latest release: 3 months ago - 1 dependent package - 1 dependent repositories - 3.32 thousand downloads total - 3 stars on GitHub - 1 maintainer
rsmaxsat 0.1.1
The rsmaxsat is a Rust library that provides bindings for the MaxSAT solver
2 versions - Latest release: 6 months ago - 1.07 thousand downloads total - 0 stars on GitHub - 1 maintainer
Related Keywords
solver 5 boolean 3 sat 3 satisfiability 3 maxsat-solver 2 unsat 2 multi-objective 2 solhop 1 math 1 sat-solver 1 binding 1 preprocessor 1 ffi 1 evalmaxsat 1