cuddorg/cudd

Stars

⭐ 160

PRs Reviewed

22

Bot Comments

12

Primary Language

C

Merge Rate

86.4%

Avg Time to Merge

2d

Avg Additions

+1.6K

Avg Deletions

-7

Avg Files Changed

1