projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 838a04e) | patch
Replace doubles by rationals in C++ quickstart (#7317)
authorGereon Kremer <nafur42@gmail.com>
Thu, 7 Oct 2021 03:03:17 +0000 (20:03 -0700)
committerGitHub <noreply@github.com>
Thu, 7 Oct 2021 03:03:17 +0000 (03:03 +0000)
commit1967722d29bf1f4811f52210c4da84091365f333
tree8d1747ca1b49cb8978ba5606c75bb86e45d4aff7tree
parent838a04edc3a41c98ee3a8121d4687e987f559fd1commit | diff
Replace doubles by rationals in C++ quickstart (#7317)

This PR removes the conversion of rationals to double in favour of properly handling them as rationals (as pairs of integers) in the C++ quickstart example.
docs/api/cpp/quickstart.rst diff | blob | history
examples/api/cpp/quickstart.cpp diff | blob | history