First time here? Check out the FAQ!

Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Install from source following the instructions at

  • https://doc.sagemath.org/html/en/installation/
click to hide/show revision 2
No.2 Revision

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

replacing the instruction

./configure

by

./configure --enable-glucose
click to hide/show revision 3
No.3 Revision

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