Package Usage: cargo: varisat-internal-proof
Internal proof format for the Varisat SAT solver
2 versions
Latest release: almost 5 years ago
2 dependent packages
383,326 downloads total
View more package details: https://packages.ecosystem.code.gouv.fr/registries/crates.io/packages/varisat-internal-proof