logo
Free, unlimited AI code reviews that run on commit
git-lrc git-lrc GitHub Install Now We'd appreciate a star git-lrc - Free, unlimited AI code reviews that run on commit | Product Hunt git-lrc - Free, unlimited AI code reviews that run on commit | Product Hunt

cvc4 - the native input language for CVC4

Contents

Description

cvc4 is an automated theorem prover for first-order formulas with respect to background theories of interest.

History

Name

cvc4 - the native input language for CVC4

See Also

cvc4(1), libcvc4(3), libcvc4parser(3) Additionally, the CVC4 wiki contains useful information about the design and internals of CVC4. It is maintained at http://cvc4.cs.stanford.edu/wiki/. CVC4 release CVC4_RELEASE_STRING 2024-03-31 CVC4(5)

See Also

Man Pages
cvc4, pcvc4 Man Pages
Man Pages
input Man Pages
Native Alpha
Native Alpha PNG Icons
Language
Language PNG Icons
Man Pages
wiki Man Pages
Man Pages
release Man Pages
Installerpedia
stanford-oval/storm Installerpedia
Installerpedia
magic-research/magic-animate Installerpedia
← View File formats Category← Back to Application configuration🙏  Credits & Acknowledgments