diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-04-16 11:53:45 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-16 11:53:45 -0500 |
commit | a47b722aa31cdd036f83425b2a805e6a572a974b (patch) | |
tree | 7a0eec8931f6acf557c381c57db0269bdc889f18 /NEWS | |
parent | 0da111d8649a535e83823c5d386c3582045e2fc4 (diff) |
Stratify enumerative instantiation (#2954)
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions