maxtuno / slime-sat-solverLinks
A Free World Class High Performance SAT Solver
☆20Updated 4 years ago
Alternatives and similar repositories for slime-sat-solver
Users that are interested in slime-sat-solver are comparing it to the libraries listed below
Sorting:
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆33Updated 4 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆40Updated 4 months ago
- Solving floating point SMT constraints on a GPU☆49Updated 4 years ago
- ☆11Updated 3 years ago
- Unison's source code☆108Updated last year
- Structured BVA☆37Updated last year
- A fast and certifying solver for quantified Boolean formulas.☆27Updated 2 months ago
- Challenging SAT benchmarks for matrix multiplication☆11Updated 3 years ago
- CNF minimizer and minimal independent set minimizer☆19Updated 3 weeks ago
- Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search…☆17Updated 2 weeks ago
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- MimIR is my Intermediate Representation☆69Updated this week
- ☆22Updated 2 years ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated last year
- Code for enumeration from a CFG☆18Updated last year
- DepQBF, a solver for quantified boolean formulae (QBF).☆35Updated 2 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 2 months ago
- Verified, Incremental, Binary Editing with Synthesis☆52Updated 2 years ago
- A research platform and active library for generalised SAT solving☆32Updated last month
- The anytime MaxSAT solver Loandra☆17Updated last month
- Some experiments with SMT solvers and GIMPLE IR☆74Updated last week
- Lingeling SAT Solver☆102Updated last year
- LLVM support for the lean theorem prover☆48Updated 3 years ago
- An awesome list of e-graph resources☆191Updated 3 weeks ago
- Jupyter notebooks for tutorial on the Z3 SMT solver☆161Updated last year
- microsat☆136Updated 3 years ago
- Cube-and-Conquer SAT solver☆36Updated this week
- Grammar prioritization support for EUSolver.☆13Updated 6 years ago