fontanf / setcoveringsolverLinks
A solver for the (unicost) set covering problem
☆19Updated 3 weeks ago
Alternatives and similar repositories for setcoveringsolver
Users that are interested in setcoveringsolver are comparing it to the libraries listed below
Sorting:
- M4GB: Efficient Groebner Basis algorithm☆59Updated 6 years ago
- Implementation of different techniques to solve the Set Covering Problem (SCP).☆11Updated 5 years ago
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆76Updated 6 months ago
- Structured BVA☆41Updated last year
- The Chuffed CP solver☆112Updated 2 months ago
- ☆16Updated last year
- A solver based on local search☆13Updated this week
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- M4RI is a library for fast arithmetic with dense matrices over GF(2)☆77Updated this week
- A Python interface for https://github.com/fplll/fplll☆151Updated 4 months ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated last year
- Lingeling SAT Solver☆105Updated last year
- Distributed and ressource elastic cube-and-conquer SAT & QBF solver☆20Updated 2 years ago
- Cube-and-Conquer SAT solver☆37Updated 3 months ago
- A research platform and active library for generalised SAT solving☆33Updated 4 months ago
- Library for Polynomial System Solving through Algebraic Methods☆160Updated last week
- A Free World Class High Performance SAT Solver☆20Updated 4 years ago
- A benchmark library for constraints☆97Updated 2 months ago
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- Counterexample-Driven Genetic Programming☆18Updated 3 years ago
- A standalone local search solver for general integer linear programming☆16Updated last year
- Learning to Solve SMT Formulas Fast☆88Updated last year
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated 5 months ago
- Sequential object-oriented simPlex☆70Updated last month
- Documentation☆44Updated this week
- Attacks on Jarvis and Friday☆10Updated 6 years ago
- A fast and certifying solver for quantified Boolean formulas.☆26Updated 5 months ago
- ☆12Updated 4 years ago
- Verifier for pseudo-Boolean proofs☆15Updated 3 years ago
- The anytime MaxSAT solver Loandra☆19Updated 4 months ago