Popular repositories Loading

1. pdsat pdsat Public

   Parallel and Distributed SAT solver

   C++ 8 2

2. alias alias Public

   modulAr tooL for fInding bAckdoors for Sat (ALIAS)

   C++ 4 2

3. Local_search_LS Local_search_LS Public

   Local search for pseudotriples of Latin squares

   C++ 3

4. CluBORun CluBORun Public

   Tool for launching volunteer computing on computing clusters

   Awk 3 2

5. CAMBALA CAMBALA Public

   CAMBALA: Coupled Acoustic Modes with Bottom Attenuation in Linear Acoustics

   C++ 3 3

6. transalg-comparison transalg-comparison Public

   CNFs and additional data for comparison Transalg with other systems

   C 2