Ovt vs Alive2

Alive2Ovt
Stars6348
Downloads
Dependent Packages4
Dependent Repos4
Most Recent Commit5 months ago3 years ago
Total Releases28
Latest ReleaseMarch 19, 2021
Open Issues56
Licensemitmit
Programming LanguageC++JavaScript