Pinned Loading

1. ParaFROST ParaFROST Public

   A Parallel SAT Solver with GPU Accelerated Inprocessing

   C++ 123 11

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. PauliDeriver PauliDeriver Public

   A tool to transform 1/2-qubit unitary into Pauli operators

   Python