Projects Tagged ‘sat’
2022
Yosys
Open-source hardware synthesis and formal verification toolchain.
2021
Flussab
Rust utilities for writing fast parsers, and parsers for some formats including DIMACS CNF.
Cnfpack
Compressed file format for CNF formulas, often orders of magnitude smaller than compressed DIMACS CNF.
2018
Varisat
A CDCL based SAT solver written in Rust.