Open Hub
Open Hub

 Settings |  Report Duplicate

1
I Use This!
Activity Not Available

Related Projects

Analyzed about 2 months ago. based on code collected 3 months ago.

Projects Similar to CVC4

img avatar

ScavengerProver   (Compare Project)

Activity Not Available

Mostly written in Scala

License: Unknown


 

G

Gappa   (Compare Project)

Activity Not Available

Mostly written in C++

License: gpl


 
img avatar

GAPT   (Compare Project)

Activity Not Available

Mostly written in Scala

License: gpl3_or_later


 
img avatar

Chef   (Compare Project)

Activity Not Available

License: apache_2


 

C

confctl   (Compare Project)

Activity Not Available

Mostly written in C

License: BSD-2-Clause


 

A

acl2   (Compare Project)

Activity Not Available

Mostly written in Lisp

License: gpl


 

T

TheoLog   (Compare Project)

Activity Not Available

Mostly written in shell script

License: cc-by-4-0


 

H

Hets - the Heterogenous Toolset   (Compare Project)

Activity Not Available

Mostly written in Haskell

License: Hets


 

M

moses-for-mere-mortals   (Compare Project)

Activity Not Available

Mostly written in Perl

License: gpl3_or_later


 
img avatar

OpenBricks   (Compare Project)

Activity Not Available

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.