diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-12-02 13:02:01 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-12-02 13:02:01 -0600 |
commit | dc99f1c45f616a93ee84b2a6ba877518206bdbaf (patch) | |
tree | cedcd1fcb64dd0009e996b1b02a4ed6233f73ba8 /src/parser/smt2/Smt2.g | |
parent | 74ca9f79b0285a1139c217fbd6f3937ed66ac885 (diff) |
Update ownership policy for dynamic quantifiers splitting (#3493)
Diffstat (limited to 'src/parser/smt2/Smt2.g')
0 files changed, 0 insertions, 0 deletions