projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 12c29b4) | patch
Add more explanations in the API (#8493)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sat, 2 Apr 2022 00:12:37 +0000 (19:12 -0500)
committerGitHub <noreply@github.com>
Sat, 2 Apr 2022 00:12:37 +0000 (00:12 +0000)
commitd46a59a6ed21401c932afe66059eb1de5d4148d9
treedbc15f7e7c8301d4c46674fd90f5dc228e36ba18tree
parent12c29b4db5ae9669ba9283077716f694bdf6d399commit | diff
Add more explanations in the API (#8493)

This also removes a few references to "first-order constants" (using "free constant" instead) since mkConst can be used to construct higher-order free constants.
src/api/cpp/cvc5.h diff | blob | history