Popular repositories Loading

1. Symmetry-Partition-Sort Symmetry-Partition-Sort Public

   This is the fastest sorting known so far

   C++ 3 3

2. abcdSAT_Rat abcdSAT_Rat Public

   It is a SAT solver , which can output DRAT proofs

   C++ 2

3. treeRat treeRat Public

   Fast Verifying Proofs of Propositional Unsatisfiability via Window Shifting

   C++ 1

4. cs242-fall14-lambda cs242-fall14-lambda Public

   Forked from securitylab/cs242-fall14-lambda

   CS242 lambda evaluator lab

   JavaScript

5. MixBcd MixBcd Public

   Fast Blocked Clause Decompositon with High Quality

   C 1

6. tracecheck_LRAT tracecheck_LRAT Public

   Verifying trace dependency graphs in LRAT emitted by treeRat

   C++