Alternatives and similar repositories for glasgow-constraint-solver

Users that are interested in glasgow-constraint-solver are comparing it to the libraries listed below

• StephanGocht / VeriPB
  Verifier for pseudo-Boolean proofs
  ☆14Updated 2 years ago
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆31Updated 3 months ago
• viperproject / smt-scope
  SMTscope automatically analyses and visualises SMT solver execution traces.
  ☆37Updated 3 months ago
• BlairArchibald / YewPar
  A Collection of High Performance Parallel Skeletons for Tree Search Problems
  ☆22Updated last week
• domain-independent-dp / didp-rs
  Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.
  ☆44Updated 2 weeks ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 3 years ago
• master-keying / pblib
  A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF
  ☆19Updated 11 months ago
• shaowei-cai-group / Local-MIP
  A standalone local search solver for general mixed integer programming
  ☆23Updated 3 months ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 7 months ago
• ths-rwth / smtrat
  ☆55Updated 3 weeks ago
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated last year
• shaowei-cai-group / Local-ILP
  A standalone local search solver for general integer linear programming
  ☆16Updated 11 months ago
• hgarrereyn / SBVA
  Structured BVA
  ☆37Updated last year
• ConSol-Lab / Pumpkin
  A lazy clause generation constraint solver written in Rust.
  ☆30Updated this week
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆61Updated 7 months ago
• shackle-rs / shackle
  A constraint modelling and rewriting library and compiler framework written in rust
  ☆23Updated this week
• SRI-CSL / libpoly
  SRI LibPoly is a C library for manipulating polynomials
  ☆51Updated last week
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆19Updated last year
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆35Updated 2 years ago
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆12Updated 9 months ago
• krobelus / rate
  DRAT/DPR proof checker
  ☆9Updated 3 years ago
• ltentrup / caqe
  CAQE is a solver for quantified Boolean formulas
  ☆33Updated 2 years ago
• arminbiere / satch
  SAT Solver SATCH
  ☆120Updated 2 years ago
• ciaranm / glasgow-subgraph-solver
  A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.
  ☆82Updated this week
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆47Updated last year
• GaloisInc / blt
  Lattice-based integer linear programming solver
  ☆65Updated 3 years ago
• sgpthomas / comp-gen
  Automatically generate a compiler using equality saturation
  ☆30Updated last year
• IPDSnelting / tba-2021
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
  ☆50Updated 3 years ago
• Laakeri / sharpsat-td
  Entry to model counting competition 2021.
  ☆21Updated last year
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated last year