fmlab-iis / AutoQLinks
☆22Updated 3 weeks ago
Alternatives and similar repositories for AutoQ
Users that are interested in AutoQ are comparing it to the libraries listed below
Sorting:
- State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques☆24Updated 2 weeks ago
- ☆14Updated last year
- State-of-the-art in reversible logic synthesis☆23Updated 9 years ago
- The Quartz Quantum Compiler☆87Updated this week
- ☆50Updated last year
- C++ implementation of FRAIGs. Won the 1st place in 2018 Cadence-sponsored contest in NTU DSnP.☆10Updated 5 years ago
- E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis (DAC2025)☆22Updated 4 months ago
- ☆24Updated last year
- An advanced circuit-based sat solver☆35Updated 8 months ago
- A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.☆134Updated last week
- A Fast Floating-Point Satisfiability Solver☆28Updated 3 months ago
- Compilation, analysis and optimization framework for the Scaffold quantum programming language.☆194Updated 4 years ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆48Updated this week
- ☆16Updated 3 years ago
- Quantum circuit analysis toolkit☆88Updated last month
- ☆17Updated last year
- Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.☆18Updated 9 years ago
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆134Updated last week
- SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints☆31Updated 6 years ago
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆20Updated 2 months ago
- A fast and certifying solver for quantified Boolean formulas.☆26Updated 6 months ago
- Tools for manipulating CHC and related files☆15Updated 2 years ago
- BTOR2 MLIR project☆26Updated last year
- Bit-bLAsting solving Non-linear integer constraints.☆22Updated 4 months ago
- NOELLE Offers Empowering LLVM Extensions☆82Updated 3 months ago
- RevKit: Python quantum compilation library and framework☆30Updated 6 years ago
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆25Updated 2 years ago
- A Small Quantum Intermediate Representation☆88Updated 3 months ago
- Logic Synthesis and Verification: Programming Assignments☆13Updated 2 weeks ago
- ☆35Updated 3 months ago