SCIP problems

Martin R

unread,

Mar 16, 2023, 7:45:14 AM3/16/23

to sage-devel

Dear all, especially Matthias,

I have recurring problems to install SCIP.

sage -i scip

seems to work (the log does not contain any errors), but

sage: default_mip_solver("SCIP")

fails (ValueError: SCIP is not available. Please refer to the documentation to install it.).

This is on 10.0.beta4.

should I open a ticket, or am I doing something completely wrong?

Martin

Dima Pasechnik

unread,

Mar 16, 2023, 8:51:54 AM3/16/23

to sage-...@googlegroups.com

I believe scip dependencies should include pyscipopt - they don't atm.

I've run

./configure --enable-scip=yes
make build

and then
sage: default_mip_solver("SCIP")

still gave an error. After

make pyscipopt
make build

it all worked.

> --
> You received this message because you are subscribed to the Google Groups "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/fb64e44e-ea58-4d8c-bb36-ae2715179583n%40googlegroups.com.

Martin R

unread,

Mar 16, 2023, 9:10:02 AM3/16/23

to sage-devel

Ah, thank you.

make pyscipopt fails, however. log attached, no idea.

martin@toolbox:~/sage-trac/logs/pkgs$ cat /etc/os-release

PRETTY_NAME="Ubuntu 22.04.2 LTS"

NAME="Ubuntu"
VERSION_ID="22.04"
VERSION="22.04.2 LTS (Jammy Jellyfish)"
VERSION_CODENAME=jammy
ID=ubuntu
ID_LIKE=debian
HOME_URL="https://www.ubuntu.com/"
SUPPORT_URL="https://help.ubuntu.com/"
BUG_REPORT_URL="https://bugs.launchpad.net/ubuntu/"
PRIVACY_POLICY_URL="https://www.ubuntu.com/legal/terms-and-policies/privacy-policy"
UBUNTU_CODENAME=jammy

martin@toolbox:~/sage-trac/logs/pkgs$ python
Python 3.10.6 (main, Nov 14 2022, 16:10:14) [GCC 11.3.0] on linux
Type "help", "copyright", "credits" or "license" for more information.

martin@toolbox:~/sage-trac/logs/pkgs$ sage
┌────────────────────────────────────────────────────────────────────┐
│ SageMath version 10.0.beta4, Release Date: 2023-03-12 │
│ Using Python 3.11.1. Type "help()" for help. │
└────────────────────────────────────────────────────────────────────┘

:-(

pyscipopt-4.2.0.log

Dima Pasechnik

unread,

Mar 16, 2023, 9:39:10 AM3/16/23

to sage-...@googlegroups.com

this is an upstream bug, using non-public Python API (this should
still work with Python 3.10, but not with 3.11):

> src/pyscipopt/scip.c:463:62: error: invalid use of incomplete typedef 'PyFrameObject' {aka 'struct _frame'}
> 463 | #define __Pyx_PyFrame_SetLineNumber(frame, lineno) (frame)->f_lineno = (lineno)

cf. https://docs.python.org/3.11/whatsnew/3.11.html

The PyFrameObject structure members have been removed from the public C API.
While the documentation notes that the PyFrameObject fields are
subject to change at any time, they have been stable for a long time
and were used in several popular extensions.
In Python 3.11, the frame struct was reorganized to allow performance
optimizations. Some fields were removed entirely, as they were details
of the old implementation.

On Thu, Mar 16, 2023 at 1:10 PM 'Martin R' via sage-devel

> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/42199586-647d-4dc0-9b88-9ff5c7ff8737n%40googlegroups.com.