Alternatives and similar repositories for setcoveringsolver

Users that are interested in setcoveringsolver are comparing it to the libraries listed below

• caerbannogwhite / set-covering-problem
  Implementation of different techniques to solve the Set Covering Problem (SCP).
  ☆11Updated 5 years ago
• shaowei-cai-group / Local-ILP
  A standalone local search solver for general integer linear programming
  ☆16Updated last year
• meelgroup / bosphorus
  Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
  ☆77Updated 10 months ago
• cr-marcstevens / m4gb
  M4GB: Efficient Groebner Basis algorithm
  ☆71Updated 7 years ago
• hgarrereyn / SBVA
  Structured BVA
  ☆42Updated last year
• chuffed / chuffed
  The Chuffed CP solver
  ☆119Updated last month
• fontanf / localsearchsolver
  A solver based on local search
  ☆14Updated 3 months ago
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆106Updated last year
• shaowei-cai-group / Local-MIP
  A standalone local search solver for general mixed integer programming
  ☆45Updated last month
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆44Updated 6 months ago
• c4v4 / LKH-SP
  Speeded-up LKH-3 version + Set Partitioning Heuristic phase. Participated to 12th DIMACS implementation challenge.
  ☆13Updated 4 years ago
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated 2 years ago
• fabiofurini / B-P_BinPackingProblem
  Branch-and-Price Algorithm for the Bin Packing Problem (using CPLEX as pricer and LP solver). It implements a Ryan-Foster branching schem…
  ☆16Updated 6 years ago
• fontanf / columngenerationsolver
  A solver based on column generation
  ☆39Updated last month
• malb / m4ri
  M4RI is a library for fast arithmetic with dense matrices over GF(2)
  ☆87Updated 2 weeks ago
• algebraic-solving / msolve
  Library for Polynomial System Solving through Algebraic Methods
  ☆169Updated 2 weeks ago
• mckib2 / scikit-glpk
  GLPK, but it's Python.
  ☆14Updated last year
• snowberryfield / printemps
  C++ metaheuristics modeler/solver for general integer optimization problems.
  ☆52Updated 2 weeks ago
• ed-lam / nutmeg
  Nutmeg – a MIP and CP branch-and-check solver
  ☆31Updated 2 years ago
• master-keying / pblib
  A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF
  ☆22Updated last year
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated 7 months ago
• PesantGilles / MiniCPBP
  Replacing standard support propagation by belief propagation in MiniCP
  ☆13Updated this week
• csplib / csplib
  A benchmark library for constraints
  ☆98Updated 3 months ago
• VeraLiconaResearchGroup / MHSGenerationAlgorithms
  ☆16Updated last year
• geoffchu / chuffed
  The CP solver Chuffed
  ☆20Updated 9 years ago
• ehebrard / Mistral-2.0
  ☆32Updated last year
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆77Updated 2 years ago
• coin-or / SYMPHONY
  SYMPHONY is an open-source solver, callable library, and development framework for mixed-integer linear programs (MILPs) written in C wit…
  ☆74Updated 3 weeks ago
• saeednj / SAT-encoding
  Encoding different problems into Boolean satisfiability
  ☆12Updated 3 years ago
• maxtuno / slime-sat-solver
  A Free World Class High Performance SAT Solver
  ☆21Updated 4 years ago