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
• tias / constraint-solving-course
  An open-source course on constraint solving
  ☆24Updated last month
• viperproject / smt-scope
  SMTscope automatically analyses and visualises SMT solver execution traces.
  ☆45Updated last month
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆77Updated 2 years ago
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆67Updated last year
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆48Updated 6 months ago
• PesantGilles / MiniCPBP
  Replacing standard support propagation by belief propagation in MiniCP
  ☆13Updated last month
• Laakeri / sharpsat-td
  Entry to model counting competition 2021.
  ☆22Updated last year
• conjure-cp / EssenceCatalog
  A collection of problem specifications in Essence.
  ☆10Updated 6 months ago
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆30Updated 2 weeks ago
• GaloisInc / blt
  Lattice-based integer linear programming solver
  ☆66Updated 3 months ago
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆33Updated 8 months ago
• shackle-rs / shackle
  A constraint modelling and rewriting library and compiler framework written in rust
  ☆25Updated last week
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆40Updated last year
• chuffed / chuffed
  The Chuffed CP solver
  ☆116Updated this week
• ed-lam / nutmeg
  Nutmeg – a MIP and CP branch-and-check solver
  ☆30Updated 2 years ago
• potassco / clingoLP
  Theory propagator for linear programming using clingo theory language and interface.
  ☆11Updated 3 years ago
• arminbiere / satch
  SAT Solver SATCH
  ☆120Updated 3 years ago
• csplib / csplib
  A benchmark library for constraints
  ☆98Updated last month
• fbacchus / MaxHS
  MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus
  ☆27Updated 3 years ago
• ehebrard / Mistral-2.0
  ☆32Updated last year
• master-keying / pblib
  A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF
  ☆22Updated last year
• dreal / dreal4
  Automated Reasoning in Nonlinear Theories of Reals
  ☆175Updated 3 months ago
• shaowei-cai-group / Local-MIP
  A standalone local search solver for general mixed integer programming
  ☆34Updated this week
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated last year
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 3 years ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆70Updated 2 months ago
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆58Updated last year
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆108Updated 3 weeks ago