Skip to content

add hexaly to readme, name it a global opt solver #767

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
tias wants to merge 3 commits into
base: master
Choose a base branch
from
+12 −13
Open

add hexaly to readme, name it a global opt solver #767

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
6cee40b
add hexaly to readme, name it a global opt solver
tias Oct 6, 2025
d65b592
update pindakaas info
tias Oct 7, 2025
1e7bbcc
some more on hexaly
tias Oct 7, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 2 additions & 1 deletion README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,8 @@ Install simply with `pip install cpmpy`
CPMpy can translate to a wide variety of constraint solving paradigms, including both commercial and open-source solvers.

* **CP Solvers**: OR-Tools (default), IBM CP Optimizer (license required), Choco, Glasgow GCS, Pumpkin, MiniZinc+solvers
* **ILP Solvers**: Gurobi (license required)
* **ILP Solvers**: Gurobi (license required), CPLEX (license required)
* **GO Solvers**: Hexaly (license required)
* **SMT Solvers**: Z3
* **PB Solvers**: Exact, Pindakaas
* **SAT Solvers**: PySAT+solvers, PySDD
Expand Down
5 changes: 2 additions & 3 deletions cpmpy/solvers/hexaly.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,8 +6,7 @@
"""
Interface to Hexaly's API


Hexaly is a local search solver with support for global constraints.
Hexaly is a global optimization solver that supports nonlinear and a few global constraints.

Always use :func:`cp.SolverLookup.get("hexaly") <cpmpy.solvers.utils.SolverLookup.get>` to instantiate the solver object.

Expand All @@ -21,7 +20,7 @@

$ pip install hexaly -i https://pip.hexaly.com

The Hexaly local solver requires an active licence (for example a free academic license)
It also requires to install the Hexaly Optimizer with a Hexaly license (for example a free academic license)
You can read more about available licences at https://www.hexaly.com/

See detailed installation instructions at:
Expand Down
17 changes: 8 additions & 9 deletions docs/index.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -60,6 +60,11 @@ Supported solvers
- SAT ASAT ISAT - OPT IOPT
- pip
-
* - :doc:`Hexaly <api/solvers/hexaly>`
- Global Opt.
- SAT ALLSAT - OPT IOPT
- pip + local + (aca.) licence
-
* - :doc:`Gurobi <api/solvers/gurobi>`
- ILP
- SAT - OPT IOPT - PAR
Expand All @@ -76,27 +81,21 @@ Supported solvers
- pip >3.10 (Linux, Win)
- Manual installation on Mac possible
* - :doc:`Pindakaas <api/solvers/pindakaas>`
- Pseudo-Boolean
- SAT Encoder
- SAT
- local install (git + pip > 3.10)
- Encodes to SAT
-
* - :doc:`PySAT <api/solvers/pysat>`
- SAT
- SAT ASAT ISAT
- pip
-
* - :doc:`PySDD <api/solvers/pysdd>`
- SAT Counter
- Decis. Diagram
- SAT ISAT ALLSAT - KC
- pip
- only Boolean variables (CPMpy transformation incomplete)

* - :doc:`Hexaly <api/solvers/hexaly>`
- Local search
- SAT ALLSAT - OPT IOPT
- pip + local + (aca.) licence
-

Native capability abbreviations:
* SAT: Satisfaction, ASAT: Satisfaction under Assumptions+core extraction, ISAT: Incremental Satisfaction, ALLSAT: All solution enumeration
* OPT: Optimisation, IOPT: Incremental optimisation
Expand Down
Loading