projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f3270fb) | patch
Fix models for --solve-real-as-int. (#1371)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 28 Nov 2017 01:23:49 +0000 (19:23 -0600)
committerGitHub <noreply@github.com>
Tue, 28 Nov 2017 01:23:49 +0000 (19:23 -0600)
commitd552ca179b8723a93c6e0dae61242ceb1ccaa717
tree428a0bd7fb91432edea38cedb9fd323a90a66535tree
parentf3270fb3629cbc62012ae7eb30843a1bc6d4e3c2commit | diff
Fix models for --solve-real-as-int. (#1371)
src/smt/smt_engine.cpp diff | blob | history
test/regress/regress0/nl/Makefile.am diff | blob | history
test/regress/regress0/nl/real-as-int.smt2 [new file with mode: 0644] blob