GL: Use AIGs as the Boolean function representation and satlink after a configurable list of aignet transforms to solve queries.
The Satlink configuration to be used can be set by attaching a
suitable function to gl-satlink-config and the transforms used can be
chosen by attaching to gl-transforms-config.
