Ask Your Question

Revision history [back]

Install from source following the instructions at

  • https://doc.sagemath.org/html/en/installation/

Install Follow the instructions for building from source following the instructions at

replacing the instruction

./configure

by

./configure --enable-glucose

Follow the instructions for building from source at

replacing the instruction

./configure

by

./configure --enable-glucose

For the source tarball, use the one found at either