Extract after QE with Z3
Merge pull request #46 from chsticksel/kind2-server

Extract after QE with Z3