On this page, we provide links to download the software resulting from the GEARS project, plus documentation and benchmarking data.

gpu4bmc: A fully configurable interface of ParaFROST with CBMC model checker

• Github 
• Artifact (AWS benchmarks included)

ParaFROST: Parallel Formal Reasning On SaTisfiability (on GPUs)

• Github 
• Artifact (benchmarks included)

sat2csv: Parsing logs from SAT solvers or bounded model checkers into csv format

• Github

MDM: Multiple Decision Making in CDCL

• Solvers and Description

SIGmA: SAT sImplification on GPU Architectures

• Download
• Documentation