Popular repositories Loading

1. CInet-Alien-MiniSAT-All CInet-Alien-MiniSAT-All Public

   Perl alien for the AllSAT solver nbc_minisat_all

   C 1

2. CInet-ManySAT CInet-ManySAT Public

   A collection of SAT solvers

   Perl 1

3. CInet-Alien-GANAK CInet-Alien-GANAK Public

   Perl alien for the probabilistic model counter GANAK

   C++

4. CInet-Alien-DSHARP CInet-Alien-DSHARP Public

   Perl alien for the model counter DSHARP

   C++

5. CInet-Alien-CaDiCaL CInet-Alien-CaDiCaL Public

   The SAT solver CaDiCaL

   C++

6. CInet-Base CInet-Base Public

   The basis for computations on CI structures

   Perl