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
  ☆13Updated 2 years ago
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆28Updated last month
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• domschrei / mallob
  Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
  ☆66Updated last week
• ehebrard / Mistral-2.0
  ☆32Updated last year
• ed-lam / nutmeg
  Nutmeg – a MIP and CP branch-and-check solver
  ☆26Updated last year
• BlairArchibald / YewPar
  A Collection of High Performance Parallel Skeletons for Tree Search Problems
  ☆22Updated last year
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 5 months ago
• master-keying / pblib
  A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF
  ☆18Updated 9 months ago
• ConSol-Lab / Pumpkin
  A lazy clause generation constraint solver written in Rust.
  ☆24Updated this week
• shaowei-cai-group / Local-MIP
  A standalone local search solver for general mixed integer programming
  ☆21Updated last month
• geoffchu / chuffed
  The CP solver Chuffed
  ☆20Updated 8 years ago
• shaowei-cai-group / Local-ILP
  A standalone local search solver for general integer linear programming
  ☆16Updated 9 months ago
• PesantGilles / MiniCPBP
  Replacing standard support propagation by belief propagation in MiniCP
  ☆12Updated 3 weeks ago
• shackle-rs / shackle
  A constraint modelling and rewriting library and compiler framework written in rust
  ☆23Updated last month
• ths-rwth / smtrat
  ☆52Updated last month
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated last year
• domain-independent-dp / didp-rs
  Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.
  ☆41Updated last week
• OxiDD / oxidd
  Concurrent decision diagram framework written in Rust
  ☆60Updated 3 weeks ago
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆34Updated last year
• SSoelvsten / buddy
  BuDDy BDD package (with CMake support)
  ☆12Updated 11 months ago
• IPDSnelting / tba-2021
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
  ☆50Updated 3 years ago
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆12Updated 7 months ago
• rzach / boxes-and-diamonds
  Open textbook on modal logic
  ☆22Updated 3 years ago
• coin-or / Cgl
  Cut Generator Library
  ☆27Updated this week
• viperproject / smt-scope
  SMTscope automatically analyses and visualises SMT solver execution traces.
  ☆35Updated last month
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆45Updated 10 months ago
• ejgallego / pycoq
  Python bindings for the Coq interactive proof assistant
  ☆53Updated 3 years ago
• arminbiere / satch
  SAT Solver SATCH
  ☆117Updated 2 years ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆34Updated 2 years ago