Categories: None [Edit]

z3

https://rubygems.org/gems/z3
https://github.com/taw/z3
Ruby bindings for Z3 Constraint Solver

Total

Ranking: 9,562 of 197,207
Downloads: 393,919

Daily

Ranking: 3,968 of 197,176
Downloads: 1,688

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName
13,729181,065udb

Depends on

RankDownloadsName
81,432,316,753rake
271,099,899,217ffi
291,026,929,036rspec
68677,634,898regexp_parser
72638,751,278pry
98507,252,828simplecov
150355,570,503rdoc
1,79919,949,627paint

Owners

#GravatarHandle
1icontaw