Commit edeefd5
Johnston
Responding to comments on my pr, changed to use GDP for checking nested disjunctions, updated descriptions.
1 parent 76293ed commit edeefd5
2 files changed
Lines changed: 172 additions & 159 deletions
{{ message }}
1 parent 76293ed commit edeefd5
2 files changed
0 commit comments