Merge pull request #1746 from boqwxp/optimization
authorN. Engelhardt <nak@symbioticeda.com>
Mon, 16 Mar 2020 11:23:14 +0000 (12:23 +0100)
committerGitHub <noreply@github.com>
Mon, 16 Mar 2020 11:23:14 +0000 (12:23 +0100)
commita2e340de435a6cfeeeb18dc23236cc550be8ca1a
tree97b54427f3c40ce54cc8a7582880d07688ae77af
parent685392fed88db3df3dbc077f3d52fb0b4ae36c45
parent0fda8308bccf6f97b31b104ea1e2b000e4b8c7c7
Merge pull request #1746 from boqwxp/optimization

Add support for optimizing exists-forall problems.