projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 48e8800) | patch
Add relations.cpp, relations.py examples (#7801)
authormudathirmahgoub <mudathirmahgoub@gmail.com>
Fri, 17 Dec 2021 19:23:16 +0000 (13:23 -0600)
committerGitHub <noreply@github.com>
Fri, 17 Dec 2021 19:23:16 +0000 (19:23 +0000)
commit437c346559d920edcd19c28777747093ceba4e20
tree2c1328503b31c5a620778ab2f252ea2e11b2730ctree
parent48e880074f563926a8d681f802116c2d14d01f62commit | diff
Add relations.cpp, relations.py examples (#7801)
docs/examples/relations.rst diff | blob | history
docs/theories/sets-and-relations.rst diff | blob | history
examples/api/cpp/CMakeLists.txt diff | blob | history
examples/api/cpp/relations.cpp [new file with mode: 0644] blob
examples/api/java/Relations.java diff | blob | history
examples/api/python/CMakeLists.txt diff | blob | history
examples/api/python/relations.py [new file with mode: 0644] blob
examples/api/python/sets.py diff | blob | history
examples/api/smtlib/relations.smt2 diff | blob | history