jix.one

Projects Tagged ‘rust’

2021

Flussab

Tagged rust, sat

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

Tagged rust, sat

A CDCL based SAT solver written in Rust.

partial_ref

Tagged rust

Type checked partial references for Rust.