jezberg / loandra
The anytime MaxSAT solver Loandra
☆17Updated this week
Alternatives and similar repositories for loandra:
Users that are interested in loandra are comparing it to the libraries listed below
- fast probabilistic symmetry detection on graphs☆14Updated last week
- State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques☆16Updated 10 months ago
- Structured BVA☆33Updated 9 months ago
- Synthesis of loop-free programs☆16Updated this week
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆39Updated 2 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- Cube-and-Conquer SAT solver☆32Updated last year
- ☆34Updated 7 months ago
- A fast and certifying solver for quantified Boolean formulas.☆26Updated 9 months ago
- Egraphs Modulo Theories☆13Updated 3 months ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.☆120Updated this week
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆94Updated 4 months ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆74Updated last year
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆32Updated 3 years ago
- C++ truth table library☆51Updated 10 months ago
- Entry to model counting competition 2021.☆20Updated 7 months ago
- ☆48Updated 10 months ago
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆25Updated 3 years ago
- Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research☆48Updated 8 years ago
- A Free World Class High Performance SAT Solver☆20Updated 3 years ago
- Learning to Solve SMT Formulas Fast☆85Updated 7 months ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆27Updated 7 months ago
- The glucose SAT solver☆92Updated 3 months ago
- Lingeling SAT Solver☆99Updated 11 months ago
- Verified, Incremental, Binary Editing with Synthesis☆54Updated last year
- SAT Solver SATCH☆114Updated 2 years ago
- ☆8Updated 9 months ago
- Some experiments with SMT solvers and GIMPLE IR☆72Updated this week
- Encoding different problems into Boolean satisfiability☆11Updated 2 years ago