Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
Very Low Activity

Related Projects

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

Projects Similar to Set Decision Diagrams and ITS tools

img avatar

DIVINE   (Compare Project)

Activity Not Available

Mostly written in C++

License: bsd_2clause_ish


 
img avatar

CPAchecker   (Compare Project)

Very High Activity

Mostly written in Java

License: apache_2


 

K

Klever   (Compare Project)

Very Low Activity

Mostly written in JavaScript

License: apache_2


 
img avatar

pi-translate   (Compare Project)

Activity Not Available

License: gpl3_or_later


 
img avatar

Spot   (Compare Project)

Activity Not Available

Mostly written in C++

License: gpl3_or_later


 
img avatar

ultimate   (Compare Project)

High Activity

Mostly written in C

License: lgplv3-static


 
img avatar

Coloane   (Compare Project)

Very Low Activity

Mostly written in Java

License: eclipse


 

G

Gappa   (Compare Project)

Activity Not Available

License: gpl


 
img avatar

RUDDER   (Compare Project)

Very High Activity

Mostly written in Scala

License: apache_2, CC-BY-SA-2_0, gpl3


 
img avatar

Why3   (Compare Project)

Moderate Activity

Mostly written in Ruby

License: lgpl


 

People who use Set Decision Diagrams and ITS tools also use:

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

This list is updated nightly.