diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-14 14:00:55 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-14 14:00:55 +0000 |
| commit | 313d3f835977f4d7f59e32e1b6cf4a508e1a3431 (patch) | |
| tree | 79c9985bf826ae3557539bd1cffe49f1bfa9320a /getlibs.sh | |
| parent | 77900dc5a9439336eed37e7b8d6c587d1f9288fc (diff) | |
| download | RSAComb-313d3f835977f4d7f59e32e1b6cf4a508e1a3431.tar.gz RSAComb-313d3f835977f4d7f59e32e1b6cf4a508e1a3431.zip | |
Fix NI predicate computation
Now NAMED is introduced during the canonical model computation, while
NI instances are computed and introduced in the filtering program
generation phase.
Diffstat (limited to 'getlibs.sh')
0 files changed, 0 insertions, 0 deletions