https://github.com/cvc5/cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
https://github.com/cvc5/cvc5

Last synced: 3 months ago
JSON representation

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

• Host: GitHub
• URL: https://github.com/cvc5/cvc5
• Owner: cvc5
• License: other
• Created: 2012-12-06T18:45:04.000Z (about 12 years ago)
• Default Branch: main
• Last Pushed: 2024-08-19T23:51:09.000Z (5 months ago)
• Last Synced: 2024-08-20T13:02:28.377Z (5 months ago)
• Language: SMT
• Homepage:
• Size: 127 MB
• Stars: 993
• Watchers: 35
• Forks: 226
• Open Issues: 144
• Metadata Files:
  • Readme: README.md
  • Changelog: NEWS.md
  • Contributing: CONTRIBUTING.md
  • License: COPYING
  • Authors: AUTHORS

Awesome Lists containing this project

• awesome-opensource-hardware - cvc5