ciaranm / glasgow-constraint-solverLinks
A constraint programming solver with support for proof logging
☆17Updated last month
Alternatives and similar repositories for glasgow-constraint-solver
Users that are interested in glasgow-constraint-solver are comparing it to the libraries listed below
Sorting:
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- Verifier for pseudo-Boolean proofs☆15Updated 3 years ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆50Updated 8 months ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆36Updated 9 months ago
- Lattice-based integer linear programming solver☆66Updated 4 months ago
- An open-source course on constraint solving☆25Updated 2 months ago
- Performant and safe knowledge compilation in rust☆30Updated last month
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated 2 years ago
- LaTeX Styles provided by Dagstuhl Publishing☆40Updated last year
- The DRAT-trim proof checker☆68Updated last year
- A SAT solver written in Haskell.☆39Updated 7 years ago
- Entry to model counting competition 2021.☆24Updated last year
- CAQE is a solver for quantified Boolean formulas☆36Updated 2 years ago
- SMTscope automatically analyses and visualises SMT solver execution traces.☆51Updated 3 weeks ago
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆27Updated 3 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆17Updated 6 months ago
- The Chuffed CP solver☆118Updated this week
- A toolkit for higher-dimensional diagram rewriting.☆18Updated 3 years ago
- Verifying encodings into propositional logic in Lean☆14Updated 2 years ago
- Rigorous Global Branch-and-Bound Optimizer☆24Updated last year
- Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.☆80Updated last week
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆21Updated last year
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated 2 years ago
- SAT solver for education☆26Updated 3 years ago
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 2 years ago
- Replacing standard support propagation by belief propagation in MiniCP☆13Updated 2 months ago
- ☆24Updated 3 years ago
- Automated Reasoning in Nonlinear Theories of Reals☆179Updated 2 weeks ago
- Formalizing convex polyhedra in Coq☆24Updated last year
- ☆40Updated 2 weeks ago