Projects Tagged ‘rust’
Rust utilities for writing fast parsers, and parsers for some formats including DIMACS CNF.
A very fast hash algorithm optimized for the use in Rust’s hash tables.
An iterator like interface over a Rust vector which allows mutation and removal of items.
A CDCL based SAT solver written in Rust.
Type checked partial references for Rust.