Projects Tagged ‘rust’
2021
Flussab
Rust utilities for writing fast parsers, and parsers for some formats including 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.