Merge pull request #1815 from boqwxp/fix-ef-optimize
authorClaire Wolf <clifford@clifford.at>
Fri, 27 Mar 2020 15:48:38 +0000 (16:48 +0100)
committerGitHub <noreply@github.com>
Fri, 27 Mar 2020 15:48:38 +0000 (16:48 +0100)
commit4c38895fab3ca2426ffc23e40601f3042a953e47
tree4b8d37358dfc7eb03b17f720a6d1b1de923cc30f
parent590d8eccb7d2c58de27ecc7f9ac71cd226b1be29
parentd72cb8ea2abfd0346e67868ef4ba04d2069db271
Merge pull request #1815 from boqwxp/fix-ef-optimize

Fix solver output parsing for exists-forall optimization