diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-08-15 11:30:17 -0500 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-08-15 11:30:17 -0500 |
commit | baaab488c597e3e30dd3b929a5a612ba7fd660af (patch) | |
tree | b7841c415997360b5d18218821ce3587b834ba84 /NEWS | |
parent | 6c58094be960ddca3a2187081bac769da61cc2af (diff) |
Enable bounded set membership with --fmf-bound. Map to term models for bounded set membership.
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions