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

ParaFROST: Parallel Formal Reasning On SaTisfiability (on GPUs)

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

MDM: Multiple Decision Making in CDCL

SIGmA: SAT sImplification on GPU Architectures