fontanf / setcoveringsolverLinks
A solver for the (unicost) set covering problem
☆23Updated last month
Alternatives and similar repositories for setcoveringsolver
Users that are interested in setcoveringsolver are comparing it to the libraries listed below
Sorting:
- Implementation of different techniques to solve the Set Covering Problem (SCP).☆11Updated 5 years ago
- A standalone local search solver for general integer linear programming☆16Updated last year
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆77Updated 10 months ago
- M4GB: Efficient Groebner Basis algorithm☆71Updated 7 years ago
- Structured BVA☆42Updated last year
- The Chuffed CP solver☆119Updated last month
- A solver based on local search☆14Updated 3 months ago
- Lingeling SAT Solver☆106Updated last year
- A standalone local search solver for general mixed integer programming☆45Updated last month
- Cube-and-Conquer SAT solver☆44Updated 6 months ago
- Speeded-up LKH-3 version + Set Partitioning Heuristic phase. Participated to 12th DIMACS implementation challenge.☆13Updated 4 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated 2 years ago
- 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
- A solver based on column generation☆39Updated last month
- M4RI is a library for fast arithmetic with dense matrices over GF(2)☆87Updated 2 weeks ago
- Library for Polynomial System Solving through Algebraic Methods☆169Updated 2 weeks ago
- GLPK, but it's Python.☆14Updated last year
- C++ metaheuristics modeler/solver for general integer optimization problems.☆52Updated 2 weeks ago
- Nutmeg – a MIP and CP branch-and-check solver☆31Updated 2 years ago
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆22Updated last year
- A research platform and active library for generalised SAT solving☆33Updated 7 months ago
- Replacing standard support propagation by belief propagation in MiniCP☆13Updated this week
- A benchmark library for constraints☆98Updated 3 months ago
- ☆16Updated last year
- The CP solver Chuffed☆20Updated 9 years ago
- ☆32Updated last year
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated 2 years ago
- 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
- Encoding different problems into Boolean satisfiability☆12Updated 3 years ago
- A Free World Class High Performance SAT Solver☆21Updated 4 years ago