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
  ☆15Updated 3 years ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆51Updated 3 years ago
• tias / constraint-solving-course
  An open-source course on constraint solving
  ☆25Updated 3 months ago
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆37Updated 10 months ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆119Updated last month
• ehebrard / Mistral-2.0
  ☆32Updated last year
• PesantGilles / MiniCPBP
  Replacing standard support propagation by belief propagation in MiniCP
  ☆13Updated this week
• master-keying / pblib
  A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF
  ☆22Updated last year
• csplib / csplib
  A benchmark library for constraints
  ☆98Updated 3 months ago
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆68Updated last year
• vandenheuvel / relp
  A Linear Program solver written in Rust.
  ☆20Updated 3 weeks ago
• arminbiere / satch
  SAT Solver SATCH
  ☆120Updated 3 years ago
• GaloisInc / blt
  Lattice-based integer linear programming solver
  ☆66Updated 6 months ago
• dreal / dreal4
  Automated Reasoning in Nonlinear Theories of Reals
  ☆179Updated last week
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆51Updated 9 months ago
• MiniZinc / mzn-challenge
  An archive repository containing the MiniZinc instances used for the MiniZinc Challenge
  ☆14Updated last year
• MiniZinc / minizinc-benchmarks
  A suite of MiniZinc benchmarks.
  ☆87Updated 2 months ago
• shaowei-cai-group / Local-MIP
  A standalone local search solver for general mixed integer programming
  ☆45Updated last month
• conjure-cp / EssenceCatalog
  A collection of problem specifications in Essence.
  ☆10Updated 2 months ago
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆31Updated 2 months ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆40Updated last year
• fontanf / localsearchsolver
  A solver based on local search
  ☆14Updated 3 months ago
• IPDSnelting / tba-2021
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
  ☆51Updated 4 years ago
• geoffchu / chuffed
  The CP solver Chuffed
  ☆20Updated 9 years ago
• Coq-Polyhedra / Coq-Polyhedra
  Formalizing convex polyhedra in Coq
  ☆24Updated last year
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆66Updated last year
• shaowei-cai-group / Local-ILP
  A standalone local search solver for general integer linear programming
  ☆16Updated last year
• niklasso / minisatp
  The Pseudo-Boolean Solver MiniSat+
  ☆29Updated 13 years ago
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆77Updated 2 years ago
• fbacchus / MaxHS
  MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus
  ☆28Updated 4 years ago