CVC4

I Use This!

High Activity

Analyzed about 23 hours ago. based on code collected 2 days ago.

Project Summary

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. It can be used to prove the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination.

In a Nutshell, CVC4...

...
has had 14,057 commits made by 126 contributors
representing 455,923 lines of code
...
is mostly written in C++
with a well-commented source code
...
has a well established, mature codebase
maintained by a very large development team
with stable Y-O-Y commits
...
took an estimated 124 years of effort (COCOMO model)
starting with its first commit in September, 2009
ending with its most recent commit 2 days ago

Quick Reference

Project Links:

Homepage
Documentation
Download
Issue Trackers
Mailing Lists

Code Locations:

https://github.com/CVC4/CVC4

Similar Projects:

Managers:

François Bobot

Licenses

BSD 3-clause "New" or "Revised" License

Permitted

Commercial Use

Modify

Distribute

Place Warranty

Forbidden

Hold Liable

Use Trademarks

Required

Include Copyright

Include License

These details are provided for information only. No information here is legal advice and should not be used as such.

All Licenses

Project Security

Vulnerabilities per Version ( last 10 releases )

There are no reported vulnerabilities

Project Vulnerability Report

Security Confidence Index

Poor security track-record

Favorable security track-record

Vulnerability Exposure Index

Many reported vulnerabilities

Few reported vulnerabilities

About Project Vulnerability Report

Did You Know...

...
use of OSS increased in 65% of companies in 2016
...
you can subscribe to e-mail newsletters to receive update from the Open Hub blog
...
55% of companies leverage OSS for production infrastructure
...
learn about Open Hub updates and features on the Open Hub blog