CVC4 (@CVC4Solver) / X

CVC4

14 posts

CVC4

@CVC4Solver

CVC4 is an efficient open-source SMT solver. It is a joint project led by Stanford University and the University of Iowa.

Joined February 2019

Pinned
CVC4
@CVC4Solver
Apr 3, 2021
We're happy to announce that we will be soon moving to cvc5! May 1 we will migrate the GitHub repository and we expect the first stable release of cvc5 in Fall 2021. Complete announcement:
cvc4.github.io
cvc5 Announcement
The cvc4 team has been hard at work on many major improvements to the system. For that and other reasons, we have decided that this is the right time to bump the “major version number,” meaning that...
CVC4
@CVC4Solver
Jun 25, 2020
CVC4 1.8 is out! Highlights: - New, more streamlined, C++ and Python API - Support for higher-order logic constraints - Full support of the new SMT-LIB theory of strings - SyGuS support in the new API - Performance improvements in the arithmetic solvers
cvc4.github.io
CVC4 1.8 Released
We are delighted to announce version 1.8 of CVC4, the open-source flagship SMT solver. It is a joint project led by Stanford University and the University of Iowa. It is available at http://cvc4.cs...
CVC4
@CVC4Solver
Jun 15, 2020
We have updated our fuzzing guidelines: github.com/CVC4/CVC4/wiki… Please read them carefully before fuzzing CVC4.
CVC4
@CVC4Solver
Jun 29, 2019
Byron Cook, director of the automated reasoning group of AWS, on how they automatically verify network policies using SMT. At 5:05 he cites CVC4. :)
CVC4
@CVC4Solver
Jun 29, 2019
CVC4 1.7 is out! Highlights: - significantly better performance for the theory of strings - better performance on regex benchmarks - new approaches for syntax-guided synthesis - bit-vector proof production with eager bitblasting - new cmake build system
cvc4.github.io
CVC4 1.7 Released
We are delighted to announce version 1.7 of CVC4, the open-source flagship SMT solver developed at Stanford University, New York University and the University of Iowa, available at http://cvc4.cs.s...
See @CVC4Solver's full profile
Sign up
Log in

See @CVC4Solver's full profile

See @CVC4Solver's full profile