projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 430c11f) | patch
Simplify the python base API in a few places (#8514)
authorGereon Kremer <gkremer@cs.stanford.edu>
Fri, 1 Apr 2022 23:53:33 +0000 (01:53 +0200)
committerGitHub <noreply@github.com>
Fri, 1 Apr 2022 23:53:33 +0000 (23:53 +0000)
commit12c29b4db5ae9669ba9283077716f694bdf6d399
treecb477e3b8aee20ebfd99cd645c88828745c4b5a7tree
parent430c11f8794c02fb45f413596bc7929d44c0ee35commit | diff
Simplify the python base API in a few places (#8514)

This PR simplifies a few methods in the python base API.
src/api/python/cvc5.pxi diff | blob | history
test/unit/api/python/test_solver.py diff | blob | history