Popular repositories Loading

1. ParaFROST ParaFROST Public

   A Parallel SAT Solver with GPU Accelerated Inprocessing

   C++ 94 8

2. gpu4bmc gpu4bmc Public

   A fully configurable interface of ParaFROST solver with CBMC model checker

   C++ 7

3. SeqFROST SeqFROST Public

   A modern sequential SAT solver with inprocessing

   C++ 3

4. sat2csv sat2csv Public

   A tool for extracting data from SAT solvers or bounded model checkers output into csv format

   C++ 1

5. qasm2stim qasm2stim Public

   A fast tool to convert Clifford circuits from OpenQASM to Stim format.

   C++ 1

6. quadsort quadsort Public

   Forked from scandum/quadsort

   Quadsort is a stable adaptive merge sort which is faster than quicksort.

   C