Pinned Loading

1. ParaFROST ParaFROST Public

   A Parallel SAT Solver with GPU Accelerated Inprocessing

   C++ 110 8

2. QuaSARQ QuaSARQ Public

   Parallel Quantum Simulation and Automated Reasoning on GPUs

   Cuda 1

3. SeqFROST SeqFROST Public

   A modern sequential SAT solver with inprocessing

   C++ 5

4. qasm2stim qasm2stim Public

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

   C++ 1

5. gpu4bmc gpu4bmc Public

   A fully configurable interface of ParaFROST solver with CBMC model checker

   C++ 8

6. sat2csv sat2csv Public

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

   C++ 1