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. sharpSAT sharpSAT Public

   Forked from marcthurley/sharpSAT

   The #SAT solver sharpSAT

   C++

4. nix-hello-wold nix-hello-wold Public

   A very simple Nix flake

   Nix

5. cadical cadical Public

   Forked from arminbiere/cadical

   CaDiCaL SAT Solver

   C++

6. cadiback cadiback Public

   Forked from arminbiere/cadiback

   CaDiCaL BackBone Analyzer

   C++