projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb20e47) | patch
Add a binary / SMT-LIB quickstart (#7315)
authorGereon Kremer <nafur42@gmail.com>
Thu, 7 Oct 2021 18:26:31 +0000 (11:26 -0700)
committerGitHub <noreply@github.com>
Thu, 7 Oct 2021 18:26:31 +0000 (18:26 +0000)
commite5e727c868e169028bb24ca4547ba7078d366161
tree81316c41bac8cdd0539b53c4ba85ca25d62b85d1tree
parentcb20e47bc69a6bdf00ab255ed23b3cfd9c26c10bcommit | diff
Add a binary / SMT-LIB quickstart (#7315)

This PR adds a binary/SMT-LIBv2 quickstart example, based on the cpp quickstart example.
CMakeLists.txt diff | blob | history
docs/api/cpp/quickstart.rst diff | blob | history
docs/api/python/quickstart.rst diff | blob | history
docs/binary/binary.rst diff | blob | history
docs/binary/quickstart.rst [new file with mode: 0644] blob
examples/api/smtlib/quickstart.smt2 diff | blob | history