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-checker" keyword

View the packages on the crates.io package registry that are tagged with the "proof-checker" keyword.

rate-common 0.3.0 💰
Internal modules for rate
5 versions - Latest release: over 5 years ago - 3 dependent packages - 8.44 thousand downloads total - 9 stars on GitHub - 1 maintainer
rate 0.3.0 💰
Clausal proof checker (DRAT, DPR) for certifying SAT solvers' unsatisfiability results
5 versions - Latest release: over 5 years ago - 6.49 thousand downloads total - 9 stars on GitHub - 1 maintainer
rate-sick-check 0.3.0 💰
Verify SICK certificates of proof incorrectness produced by rate
5 versions - Latest release: over 5 years ago - 6.13 thousand downloads total - 9 stars on GitHub - 1 maintainer
rate-proof-utils 0.3.0 💰
Utilities for clausal proofs (DRAT, DPR)
5 versions - Latest release: over 5 years ago - 6.17 thousand downloads total - 9 stars on GitHub - 1 maintainer
rate-macros 0.3.0 💰
Internal macros for rate
6 versions - Latest release: over 5 years ago - 2 dependent packages - 9.75 thousand downloads total - 9 stars on GitHub - 1 maintainer
rlfsc 0.2.2
A checker for the LFSC proof language
10 versions - Latest release: over 4 years ago - 11.8 thousand downloads total - 1 stars on GitHub - 1 maintainer
Related Keywords
rust 5 sat-solver 5 verification 5 type-checker 1 lfsc 1 smt 1 dependent-types 1