Popular repositories Loading

1. distillery distillery Public

   DNF compactor

   Java

2. mt-kahypar mt-kahypar Public

   Forked from kahypar/mt-kahypar

   Mt-KaHyPar (Multi-Threaded Karlsruhe Hypergraph Partitioner) is a shared-memory multilevel graph and hypergraph partitioner equipped with parallel implementations of techniques used in the best seq…

   C++

3. d-dnnf-reasoner d-dnnf-reasoner Public

   Forked from SoftVarE-Group/d-dnnf-reasoner

   Rust

4. sharpSAT sharpSAT Public

   Forked from marcthurley/sharpSAT

   The #SAT solver sharpSAT

   C++

5. pages-test pages-test Public

6. nix-hello-wold nix-hello-wold Public

   A very simple Nix flake

   Nix