diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-06-16 14:04:09 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-16 21:04:09 +0000 |
| commit | b8d09076cfeb124bfaa6e1c3f0f37e3df1b1b516 (patch) | |
| tree | e634a4f8d9176a238b55a51e4b18d77c69c9895d /NEWS | |
| parent | 0f04a6c4cf618fb5914934bac5b5c6277f07127c (diff) | |
Make symfpu a required dependency. (#6749)
Diffstat (limited to 'NEWS')
| -rw-r--r-- | NEWS | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -4,6 +4,7 @@ Changes since CVC4 1.8 ====================== New Features: +* SymFPU is now a required dependency. * New unsat-core production modes based on the new proof infrastructure (`--unsat-cores-mode=sat-proof`) and on the solving-under-assumption feature of Minisat (`--unsat-cores-mode=assumptions`). The mode based on SAT |