Pinned Loading

1. splr splr Public

   A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust

   Rust 81 8

2. SAT-bench SAT-bench Public

   A benchmark suit for SAT solvers

   Rust 2 1

3. flakes flakes Public

   My flakes over nixpkgs

   Nix 3

4. ddir ddir Public

   Decision Diagrams in Rust

   Rust 1 1

5. advent-of-code advent-of-code Public

   The annual event for computer science enthusiasts!

   Rust 4 1

6. learn learn Public

   Self learning by doing

   Lean