diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-12-04 14:00:21 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-12-04 16:51:38 +0000 |
| commit | ec76d6cfbf5410fc90060667612461c1e8f3c111 (patch) | |
| tree | 6d3268ba7116c2aad3c7238500e87bb990d31a27 /project | |
| parent | d7fa665c289923c362c17ce16cda03588911a817 (diff) | |
| download | RSAComb-ec76d6cfbf5410fc90060667612461c1e8f3c111.tar.gz RSAComb-ec76d6cfbf5410fc90060667612461c1e8f3c111.zip | |
Rework skolemization strategies
In particular `ConstantRSA` has been removed, since it was *not* a
skolemization strategy. The case for extra atoms generation previously
handled by `ConstantRSA` is not dealt with inside the RSA check.
Diffstat (limited to 'project')
0 files changed, 0 insertions, 0 deletions