muhos / ParaFROSTLinks
A Parallel SAT Solver with GPU Accelerated Inprocessing
☆110Updated last month
Alternatives and similar repositories for ParaFROST
Users that are interested in ParaFROST are comparing it to the libraries listed below
Sorting:
- ☆34Updated 10 months ago
- Cube-and-Conquer SAT solver☆34Updated last year
- ☆48Updated last year
- A framework to ease parallelization of sequential SAT solvers☆18Updated 3 weeks ago
- Pono: A flexible and extensible SMT-based model checker☆102Updated this week
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- The glucose SAT solver☆100Updated 6 months ago
- Structured BVA☆37Updated last year
- Reads a state transition system and performs property checking☆81Updated 3 months ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆29Updated 2 months ago
- Bit-bLAsting solving Non-linear integer constraints.☆23Updated 10 months ago
- UWrMaxSat is a relatively new MiniSat+-based solver participating in MaxSAT Evaluation 2019, where it ranked second places in both main …☆23Updated last month
- AIGER And-Inverter-Graph Library☆78Updated this week
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆24Updated 2 years ago
- A fast and certifying solver for quantified Boolean formulas.☆27Updated last month
- A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.☆126Updated this week
- Approximate Model Counter☆78Updated 2 weeks ago
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆11Updated 8 months ago
- py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).☆45Updated 5 months ago
- SAT Solver SATCH☆120Updated 2 years ago
- Lingeling SAT Solver☆103Updated last year
- Hardware Formal Verification Tool☆52Updated this week
- A generic parser and tool package for the BTOR2 format.☆41Updated 3 weeks ago
- Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.☆66Updated this week
- An awesome list of e-graph resources☆173Updated 2 weeks ago
- AMulet 2. - A better AIG Multiplier Examination Tool☆25Updated 2 years ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆78Updated last year
- An advanced circuit-based sat solver☆22Updated 3 months ago
- Manthan for Boolean function synthesis☆33Updated last year
- SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints☆26Updated 5 years ago