Popular repositories Loading

1. cadical cadical Public

   Forked from arminbiere/cadical

   CaDiCaL SAT Solver

   C++

2. minisat minisat Public

   Forked from niklasso/minisat

   A minimalistic and high-performance SAT solver

   C++

3. acvector acvector Public archive

   Vector implementation for C

   C

4. actest actest Public

   Very simple C Unit-Test library

   C

5. storylinesSAT storylinesSAT Public

   C Library to solve the storylines problem.

   C

6. mpc mpc Public

   Forked from MusicPlayerDaemon/mpc

   Command-line client for MPD

   C