1 | initial version |
Install from source following the instructions at
2 | No.2 Revision |
Install Follow the instructions for building from source following the instructions at
replacing the instruction
./configure
by
./configure --enable-glucose
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