jezberg / loandraLinks
The anytime MaxSAT solver Loandra
☆19Updated 4 months ago
Alternatives and similar repositories for loandra
Users that are interested in loandra are comparing it to the libraries listed below
Sorting:
- fast probabilistic symmetry detection on graphs☆15Updated last week
- Structured BVA☆41Updated last year
- Synthesis of loop-free programs☆20Updated last week
- Connecting bv_decide to SMTLIB.☆13Updated last month
- Egraphs Modulo Theories☆16Updated 4 months ago
- E-Graph library☆17Updated last year
- A fast and certifying solver for quantified Boolean formulas.☆26Updated 5 months ago
- E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis (DAC2025)☆21Updated 4 months ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆48Updated 7 months ago
- An LLVM pass to compress code by identifying and extracting recurrent program slices.☆26Updated this week
- Verified, Incremental, Binary Editing with Synthesis☆53Updated 2 years ago
- Cube-and-Conquer SAT solver☆37Updated 3 months ago
- Schedule for ArtOfSAT☆10Updated 2 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Updated 6 months ago
- A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.☆130Updated last week
- ☆35Updated 2 months ago
- State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques☆22Updated last month
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆131Updated this week
- Solving floating point SMT constraints on a GPU☆49Updated 4 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆24Updated 2 years ago
- Automatically generate a compiler using equality saturation☆34Updated last year
- ☆15Updated last week
- A Fast Floating-Point Satisfiability Solver☆29Updated 2 months ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)