diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-09-02 11:11:48 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-02 09:11:48 -0700 |
commit | 95bba975fd13261ca8854d9fb30d03fc7447eb80 (patch) | |
tree | 1db607f4e640b2e24caee3bda35f727d74b83518 /THANKS | |
parent | 8d10d1053a0616d8e791219f651b22c10f9039bf (diff) |
Minor updates to theory inference manager (#5004)
These updates are inspired by the current inference manager for sets.
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions