ciaranm / glasgow-constraint-solver
A constraint programming solver with support for proof logging
☆14Updated this week
Alternatives and similar repositories for glasgow-constraint-solver:
Users that are interested in glasgow-constraint-solver are comparing it to the libraries listed below
- Verifier for pseudo-Boolean proofs☆13Updated 2 years ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆28Updated this week
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- A lazy clause generation constraint solver written in Rust.☆22Updated last week
- SMTscope automatically analyses and visualises SMT solver execution traces.☆30Updated last week
- A constraint modelling and rewriting library and compiler framework written in rust☆22Updated 3 weeks ago
- ☆34Updated 8 months ago
- A Collection of High Performance Parallel Skeletons for Tree Search Problems☆22Updated 11 months ago
- Cube-and-Conquer SAT solver☆33Updated last year
- A Lean formal proof of the Combinatorial Nullstellensatz☆11Updated 2 years ago
- CAQE is a solver for quantified Boolean formulas☆31Updated last year
- DRAT/DPR proof checker☆9Updated 3 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- The DRAT-trim proof checker☆56Updated 4 months ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆17Updated 3 years ago
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆18Updated 8 months ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated last year
- Entry to model counting competition 2021.☆20Updated 9 months ago
- Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.☆36Updated 2 weeks ago
- Egraphs Modulo Theories☆13Updated 3 weeks ago
- A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.☆18Updated last month
- LattE integrale, software for counting lattice points and integration over convex polytopes☆47Updated last year
- A fast and certifying solver for quantified Boolean formulas.☆26Updated 11 months ago
- Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.☆65Updated this week
- COmpact SOlver for COnstrained problems☆12Updated this week
- Automatically generate a compiler using equality saturation☆28Updated 11 months ago
- DDO a generic and efficient framework for MDD-based optimization.☆61Updated last month
- Fuzz testing for Dafny☆13Updated 2 years ago
- Convex optimization modeling in Lean 4☆44Updated 9 months ago
- The first efficient procedure to test whether a sampler is uniform☆12Updated this week