Projects Tagged ‘rust’
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.
2020
ZwoHash
Tagged rust
A very fast hash algorithm optimized for the use in Rust’s hash tables.
2019
vec_mut_scan
Tagged rust
An iterator like interface over a Rust vector which allows mutation and removal of items.
2018
Varisat
A CDCL based SAT solver written in Rust.
partial_ref
Tagged rust
Type checked partial references for Rust.