| 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
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.