projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 29258e0) | patch
Adding interpolation and abduction to the python API (#7868)
authoryoni206 <yoni206@users.noreply.github.com>
Tue, 4 Jan 2022 15:18:41 +0000 (17:18 +0200)
committerGitHub <noreply@github.com>
Tue, 4 Jan 2022 15:18:41 +0000 (09:18 -0600)
commita0bd75c53fe2c647368f5419c28cd7494ece748d
treed558a98645cf8f1d5e459d54850214ea635b5d9ftree
parent29258e0c8573ba947dab86f18ae5b7b84c44a5e3commit | diff
Adding interpolation and abduction to the python API (#7868)

This PR adds getAbduct, getAbductNext, getInterpol, and getInterpolNext to the python API.
Tests and documentation are added as well.
src/api/python/cvc5.pxd diff | blob | history
src/api/python/cvc5.pxi diff | blob | history
test/unit/api/python/test_solver.py diff | blob | history