Merge branch 'master' into fix-updating-best-sol

Author: mmghannam

CHANGELOG.md

@@ -2,9 +2,19 @@
 
 ## Unreleased
 ### Added
+- More support for AND-Constraints
 - Added support for knapsack constraints
+- Added isPositive(), isNegative(), isFeasLE(), isFeasLT(), isFeasGE(), isFeasGT(), isHugeValue(), and tests
+- Added SCIP_LOCKTYPE, addVarLocksType(), getNLocksDown(), getNLocksUp(), getNLocksDownType(), getNLocksUpType(), and tests
+- Added addMatrixConsIndicator(), and tests
+- Added SCIPvarMarkRelaxationOnly, SCIPvarIsRelaxationOnly, SCIPvarMarkDeletable, SCIPvarIsDeletable, and tests
+- Wrapped SCIPgetNLPBranchCands
+- Added getConsVals() to get coefficients of any linear type constraint
+- Generalized getLhs() and getRhs() to additionally support any linear type constraint
 ### Fixed
+- Raised an error when an expression is used when a variable is required
 ### Changed
+- MatrixExpr.sum() now supports axis arguments and can return either a scalar or MatrixExpr depending on the result dimensions
 ### Removed
 
 ## 5.5.0 - 2025.05.06

INSTALL.md

@@ -26,7 +26,7 @@ If installing SCIP from source or using PyPI with a python and operating system
 you need to specify the install location using the environment variable
 `SCIPOPTDIR`:
 
--   on Linux and OS X:\
+-   on Linux and MacOS:\
     `export SCIPOPTDIR=<path_to_install_dir>`
 -   on Windows:\
     `set SCIPOPTDIR=<path_to_install_dir>` (**cmd**, **Cmder**, **WSL**)\
@@ -45,8 +45,9 @@ contains the corresponding header files:
         > nlpi
         > ...
 
-Please note that some Mac configurations require adding the library installation path to `DYLD_LIBRARY_PATH` when using a locally installed version of SCIP.
+On MacOS, to ensure that the SCIP dynamic library can be located at runtime by PySCIPOpt, you should add your SCIP installation path to the ``DYLD_LIBRARY_PATH`` environment variable by running:
 
+`export DYLD_LIBRARY_PATH="<path_to_install_dir>/lib:$DYLD_LIBRARY_PATH"`
 
 When building SCIP from source using Windows it is highly recommended to use the [Anaconda Python
 Platform](https://www.anaconda.com/).
@@ -56,6 +57,15 @@ Installation from PyPI
 
     python -m pip install pyscipopt
 
+To avoid interfering with system packages, it's best to use a [virtual environment](https://docs.python.org/3/library/venv.html).<br>
+<span style="color:orange">**Warning!**</span> This is mandatory in some newer configurations.
+
+```bash
+python3 -m venv venv source venv/bin/activate  # On Windows use: venv\Scripts\activate pip install pyscipopt
+pip install pyscipopt
+```
+Remember to activate the environment (`source venv/bin/activate`) in each terminal session where you use PySCIPOpt.
+
 Please note that if your Python version and OS version are in the combinations at the start of this INSTALL file then
 pip now automatically installs a pre-built version of SCIP. For these combinations, to use your own installation of SCIP,
 please see the section on building from source. For unavailable combinations this pip command will automatically
@@ -66,7 +76,7 @@ at runtime by adjusting your `PATH` environment variable:
 
 -   on Windows: `set PATH=%PATH%;%SCIPOPTDIR%\bin`
 
-On Linux and OS X this is encoded in the generated PySCIPOpt library and
+On Linux and MacOS this is encoded in the generated PySCIPOpt library and
 therefore not necessary.
 
 Building everything from source

README.md

@@ -23,10 +23,21 @@ See [CHANGELOG.md](https://github.com/scipopt/PySCIPOpt/blob/master/CHANGELOG.md
 Installation
 ------------
 
-The recommended installation method is via PyPI
+The recommended installation method is via [PyPI](https://pypi.org/project/PySCIPOpt/):
+
+```bash
+pip install pyscipopt
+```
+
+To avoid interfering with system packages, it's best to use a [virtual environment](https://docs.python.org/3/library/venv.html):
+
 ```bash
+python3 -m venv venv     # creates a virtual environment called venv
+source venv/bin/activate # activates the environment. On Windows use: venv\Scripts\activate
 pip install pyscipopt
 ```
+Remember to activate the environment (`source venv/bin/activate` or equivalent) in each terminal session where you use PySCIPOpt.
+Note that some configurations require the use of virtual environments.
 
 For information on specific versions, installation via Conda, and guides for building from source,
 please see the [online documentation](https://pyscipopt.readthedocs.io/en/latest/install.html).

docs/build.rst

@@ -100,6 +100,15 @@ For Linux and MacOS systems set the variable with the following command:
 
   export SCIPOPTDIR=<path_to_install_dir>
 
+.. note::
+
+  For macOS users, to ensure that the SCIP dynamic library can be found at runtime by PySCIPOpt,
+  you should add your SCIP installation path to the ``DYLD_LIBRARY_PATH`` environment variable by running:
+
+  .. code-block::
+
+    export DYLD_LIBRARY_PATH="<path_to_install_dir>/lib:$DYLD_LIBRARY_PATH"
+
 For Windows use the following command:
 
 .. code-block:: bash

docs/extend.rst

@@ -44,7 +44,7 @@ Code contributions are very welcome and should comply to a few rules:
 - Before implementing a new PySCIPOpt feature, check whether the
   feature exists in SCIP. If so, implement it as a pure wrapper,
   mimicking SCIP whenever possible. If the new feature does not exist
-  in SCIP but it is close to an existing one, consider if implementing
+  in SCIP, but it is close to an existing one, consider if implementing
   that way is substantially convenient (e.g. Pythonic). If it does
   something completely different, you are welcome to pull your request
   and discuss the implementation.
@@ -77,7 +77,7 @@ API. By design, we distinguish different functions in PySCIPOPT:
 Ideally speaking, we want every SCIP function to be wrapped in PySCIPOpt.
 
 **Convenience functions** are additional, non-detrimental features meant
-to help prototyping the Python way. Since these functions are not in
+to help prototype the Python way. Since these functions are not in
 SCIP, we wish to limit them to prevent difference in features between
 SCIP and PySCIPOPT, which are always difficult to maintain. A few
 convenience functions survive in PySCIPOpt when keeping them is

docs/faq.rst

@@ -60,6 +60,6 @@ is not automatically deleted, and thus stops a new optimization call.
 Why can I not add a non-linear objective?
 =========================================
 
-SCIP does not support non-linear objectives, however, an equivalent optimization
+SCIP does not support non-linear objectives. However, an equivalent optimization
 problem can easily be constructed by introducing a single new variable and a constraint.
 Please see :doc:`this page <tutorials/expressions>` for a guide.

docs/install.rst

@@ -21,6 +21,20 @@ To install PySCIPOpt simply run the command:
 
   pip install pyscipopt
 
+To avoid interfering with system packages, it's best to use a `virtual environment <https://docs.python.org/3/library/venv.html>`.
+
+.. warning::
+
+  Using a virtual environment is **mandatory** in some newer Python configurations
+  to avoid permission and package conflicts.
+
+.. code-block:: bash
+python3 -m venv venv
+source venv/bin/activate  # On Windows use: venv\Scripts\activate
+pip install pyscipopt
+
+Remember to activate the environment (``source venv/bin/activate``) in each terminal session where you use PySCIPOpt.
+
 .. note:: For Linux users: PySCIPOpt versions newer than 5.1.1 installed via PyPI now require glibc 2.28+
 
   For our build infrastructure we use `manylinux <https://github.com/pypa/manylinux>`_.

docs/similarsoftware.rst

@@ -9,7 +9,7 @@ Alternate MIP Solvers (with Python interfaces)
 
 In the following we will give a list of other mixed-integer optimizers with available python interfaces.
 As each solver has its own set of problem classes that it can solve we will use a table with reference
-keys to summarise these problem classes.
+keys to summarize these problem classes.
 
 .. note:: This table is by no means complete.
 
@@ -87,8 +87,8 @@ This is software that is built on PySCIPOpt
 
 - `PyGCGOpt <https://github.com/scipopt/PyGCGOpt>`_: An extension of SCIP, using generic decompositions for solving MIPs
 - `GeCO <https://github.com/CharJon/GeCO>`_: Generators for Combinatorial Optimization
-- `scip-routing <https://github.com/mmghannam/scip-routing>`_:  An exact VRPTW solver in Python
-- `PySCIPOpt-ML <https://github.com/Opt-Mucca/PySCIPOpt-ML>`_:  Python interface to automatically formulate Machine Learning models into Mixed-Integer Programs
+- `scip-routing <https://github.com/mmghannam/scip-routing>`_: An exact VRPTW solver in Python
+- `PySCIPOpt-ML <https://github.com/Opt-Mucca/PySCIPOpt-ML>`_: Python interface to automatically formulate Machine Learning models into Mixed-Integer Programs
 -  `SCIP Book <https://scipbook.readthedocs.io/en/latest/>`_: Mathematical Optimization: Solving Problems using SCIP and Python
 
 Additional SCIP Resources

docs/tutorials/branchrule.rst

@@ -58,7 +58,7 @@ whose LP solution is most fractional.
 
           return {"result": SCIP_RESULT.BRANCHED}
 
-Let's talk about some features of this branching rule. Currently we only explicitly programmed
+Let's talk about some features of this branching rule. Currently, we only explicitly programmed
 a single function, which is called ``branchexeclp``. This is the function that gets called
 when branching on an LP optimal solution. While this is the main case, it is not the only
 case that SCIP handles. What if there was an LP error at the node, or you are given a set of external
@@ -108,7 +108,7 @@ strong branching or obtain some strong branching information.
 
   - What happens if a new primal solution is found and the bound is larger than the cutoff bound?
   - What happens if the bound for one of the children is above a cutoff bound?
-  - If probing is enabled then one would need to handle new found bounds appropriately.
+  - If probing is enabled then one would need to handle new-found bounds appropriately.
 
 .. code-block:: python
 

docs/tutorials/constypes.rst

@@ -134,7 +134,7 @@ constraint, you'd use the code:
 
 SCIP also allows the creation of custom constraint handlers. These could be empty and just
 there to record data, there to provide custom handling of some user defined function, or they could be there to
-enforce a constraint that is  incredibly inefficient to enforce via linear constraints.
+enforce a constraint that is incredibly inefficient to enforce via linear constraints.
 An example of such a constraint handler
 is presented in the lazy constraint tutorial for modelling the subtour elimination
 constraints :doc:`here </tutorials/lazycons>`
@@ -146,8 +146,8 @@ In a similar fashion to Variables with columns, see :doc:`this page </tutorials/
 constraints bring up an interesting feature of SCIP when used in the context of an LP.
 The context of an LP here means that we are after the LP relaxation of the optimization problem
 at some node. Is the constraint even in the LP?
-When you solve an optimization problm with SCIP, the problem is first transformed. This process is
-called presolve, and is done to accelerate the subsequent solving process. Therefore a constraint
+When you solve an optimization problem with SCIP, the problem is first transformed. This process is
+called presolve, and is done to accelerate the subsequent solving process. Therefore, a constraint
 that was originally created may have been transformed entirely, as the original variables that
 featured in the constraint have also been changed. Additionally, maybe the constraint was found to be redundant,
 i.e., trivially true, and was removed. The constraint is also much more general