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 "proof-logging" keyword

pumpkin-core 0.3.0
The core of the Pumpkin constraint programming solver.
3 versions - Latest release: 28 days ago - 887 downloads total - 51 stars on GitHub - 1 maintainer
drcp-format 0.3.1
Parse and write DRCP and literal definition files.
5 versions - Latest release: 29 days ago - 5.08 thousand downloads total - 51 stars on GitHub - 1 maintainer
pumpkin-solver 0.3.0
The Pumpkin combinatorial optimisation solver library.
9 versions - Latest release: 28 days ago - 6.61 thousand downloads total - 54 stars on GitHub - 1 maintainer
pigeons 0.2.3
A library for writing VeriPB proofs
7 versions - Latest release: about 1 month ago - 3.82 thousand downloads total - 50 stars on GitHub - 1 maintainer
Related Keywords
constraint-programming 3 cp 3 lazy-clause-generation 3 lcg 3 rust 3 encodings 1 sat 1 satisfiability 1