Pinned Loading

1. sortnetopt sortnetopt Public

   Lower Size Bounds for Sorting Networks

   Isabelle 43

2. varisat varisat Public

   SAT solver written in Rust

   Rust 249 17

3. zwohash zwohash Public

   A fast, deterministic, non-cryptographic hash for use in hash tables for Rust

   Rust 8 1

4. vec_mut_scan vec_mut_scan Public

   Rust library for a forward scan over a vector with mutation and item removal

   Rust 2 3

5. flussab flussab Public

   Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.

   Rust 9 2

6. starlit starlit Public

   CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI breakage.

   Rust 10 1