Open Hub
Black Duck Open Hub

 Settings |  Report Duplicate

1
I Use This!
High Activity

Related Projects

Analyzed 1 day ago. based on code collected 2 days ago.

Projects Similar to CVC4

img avatar

ScavengerProver   (Compare Project)

Inactive

Mostly written in Scala

License: Unknown


 

G

Gappa   (Compare Project)

Activity Not Available

License: gpl


 
img avatar

GAPT   (Compare Project)

Very Low Activity

Mostly written in Scala

License: gpl3_or_later


 
img avatar

Chef   (Compare Project)

Activity Not Available

License: apache_2


 

C

confctl   (Compare Project)

Inactive

Mostly written in C

License: BSD-2-Clause


 

A

acl2   (Compare Project)

Very High Activity

Mostly written in Lisp

License: gpl


 

T

TheoLog   (Compare Project)

Low Activity

Mostly written in shell script

License: cc-by-4-0


 

H

Hets - the Heterogenous Toolset   (Compare Project)

Inactive

Mostly written in Haskell

License: Hets


 

M

moses-for-mere-mortals   (Compare Project)

Inactive

Mostly written in Perl

License: gpl3_or_later


 
img avatar

OpenBricks   (Compare Project)

Inactive

Mostly written in shell script

License: gpl


 

People who use CVC4 also use:

Open Hub requires more users for this project before we can determine project relationships.

This list is updated nightly.