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.