muhos / ParaFROSTLinks
A Parallel SAT Solver with GPU Accelerated Inprocessing
☆129Updated last week
Alternatives and similar repositories for ParaFROST
Users that are interested in ParaFROST are comparing it to the libraries listed below
Sorting:
- Pono: A flexible and extensible SMT-based model checker☆110Updated this week
- A translation validation framework for MLIR☆87Updated 6 months ago
- BTOR2 MLIR project☆26Updated last year
- SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints☆29Updated 6 years ago
- ☆48Updated last year
- ☆35Updated 2 months ago
- An awesome list of e-graph resources☆237Updated 3 weeks ago
- E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis (DAC2025)☆21Updated 3 months ago
- CUDD Decision Diagram Package☆143Updated 2 months ago
- A framework to ease parallelization of sequential SAT solvers☆23Updated 5 months ago
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆15Updated last month
- A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.☆130Updated this week
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆25Updated 2 years ago
- The HW-CBMC and EBMC Model Checkers for Verilog☆85Updated this week
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆12Updated 3 months ago
- FPGA synthesis tool powered by program synthesis☆52Updated 3 months ago
- Structured BVA☆41Updated last year
- The glucose SAT solver☆123Updated 3 months ago
- Reads a state transition system and performs property checking☆87Updated 3 weeks ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆33Updated 6 months ago
- Cube-and-Conquer SAT solver☆37Updated 2 months ago
- Automatically generate a compiler using equality saturation☆31Updated last year
- Hardware Formal Verification Tool☆67Updated last month
- CoreIR Symbolic Analyzer☆74Updated 4 years ago
- A generic parser and tool package for the BTOR2 format.☆42Updated 2 weeks ago
- Lingeling SAT Solver☆105Updated last year
- Approximate Model Counter☆80Updated 3 weeks ago
- AMulet 2. - A better AIG Multiplier Examination Tool☆26Updated 2 years ago
- Random Generator of Btor2 Files☆10Updated 2 years ago
- ☆16Updated 3 years ago