xcsp3team / cosoco
COmpact SOlver for COnstrained problems
☆12Updated this week
Alternatives and similar repositories for cosoco:
Users that are interested in cosoco are comparing it to the libraries listed below
- A Python Library for modeling combinatorial constrained problems☆66Updated 2 weeks ago
- Constraint Solver ACE☆29Updated last week
- ☆31Updated last year
- The Chuffed CP solver☆104Updated last week
- XCSP3 Tools in Java☆22Updated last month
- The CP solver Chuffed☆20Updated 8 years ago
- The MiniZinc IDE☆148Updated 3 weeks ago
- ☆10Updated 5 months ago
- My unofficial picat http://picat-lang.org/ repository☆28Updated last year
- The DRAT-trim proof checker☆56Updated 4 months ago
- A constraint modelling and rewriting library and compiler framework written in rust☆22Updated 3 weeks ago
- A CP Portfolio Solver☆26Updated last year
- Replacing standard support propagation by belief propagation in MiniCP☆12Updated this week
- Cube-and-Conquer SAT solver☆33Updated last year
- A benchmark library for constraints☆89Updated 5 months ago
- Access to all MiniZinc functionality directly from Python☆157Updated last month
- XCSP3 Core Parser in C++☆19Updated 10 months ago
- A solver based on local search☆11Updated 3 weeks ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- Generic Constraint Development Environment☆287Updated 8 months ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆78Updated last year
- SAT Solver SATCH☆113Updated 2 years ago
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆251Updated last week
- A standalone local search solver for general mixed integer programming☆21Updated 3 weeks ago
- The glucose SAT solver☆96Updated 4 months ago
- Verifier for pseudo-Boolean proofs☆13Updated 2 years ago
- A collection of problem specifications in Essence.☆10Updated 10 months ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- Cut Generator Library☆26Updated last month
- A suite of MiniZinc benchmarks.☆84Updated 4 years ago