Pinned Loading

1. BITSCAN BITSCAN Public

   C++ library for bit twiddling

   C++ 37 14

2. CliqueEnum CliqueEnum Public

   Implementation of ehaustive clique enumeration algorithm GreedyBB

   C++ 4 1

3. KPCG KPCG Public

   Knapsack with conflicts problem

   Roff 3 1

4. Bfilt Bfilt Public

   Linux release and dataset of instances tested of the new algorithm Bfilt for Binary Constraint Satisfaction Problems. The new algorithm improves over the state-of-the-art approaches.

   C++ 1 1

5. Ramsey-Numbers Ramsey-Numbers Public

   2

6. CliSAT CliSAT Public

   An exact algorithm for the maximum clique problem (MCP) which improves over state-of-the-art approaches in some cases by orders of magnitude

   10 1