projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6adff75) | patch
Add the first example for z3pycompat (#7722)
authorGereon Kremer <gkremer@stanford.edu>
Wed, 1 Dec 2021 16:32:16 +0000 (08:32 -0800)
committerGitHub <noreply@github.com>
Wed, 1 Dec 2021 16:32:16 +0000 (16:32 +0000)
commit8ce83ed35085fccace319ddd75d6fc1bd9a14a07
tree9af7f1a0534dcd27de13dd7f1a325daad57af034tree
parent6adff7575f562aba791297ccff58b649f986e382commit | diff
Add the first example for z3pycompat (#7722)

This PR adds the first example for the z3py compat API.
docs/examples/lineararith.rst diff | blob | history