Code

Solver submission: cvc5#64

Code

Merged

martinjonas merged 6 commits intoSMT-COMP:masterSMT-COMP/smt-comp.github.io:masterfrom hansjoergschurr:comp24/cvc5hansjoergschurr/smt-comp.github.io:comp24/cvc5Copy head branch name to clipboardJun 18, 2024

+62

Commits

Commits on May 27, 2024

• Add cvc5 preliminary version

  hansjoergschurr

  committed
  79efed8

Commits on May 28, 2024

• Remove cvc5 from parallel track

  hansjoergschurr

  committed
  8d3ba8a

Commits on May 31, 2024

• Merge branch 'master' into comp24/cvc5

  bobot

  authored
  c3dc7bc

• Fix command for incremental track

  hansjoergschurr

  committed
  6f9e1ab

Commits on Jun 5, 2024

• Remove cvc5 from the cloud track

  hansjoergschurr

  committed
  6f3be7e

Commits on Jun 13, 2024

• Use Zenodo release

  hansjoergschurr

  committed
  269c1f8