simpleGIA Small extension with example to Rafael Olaechea's implementation of the Guided Improvement Algorithm, using Z3. Refer to Example.py for a working example.