Categories: None [Edit]

z3

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

Total

Ranking: 23,958 of 188,892
Downloads: 61,581

Daily

Ranking: 3,592 of 188,868
Downloads: 1,597

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName

Depends on

RankDownloadsName
101,208,584,337rake
27955,412,598ffi
29942,932,199rspec
74570,976,039pry
76559,831,877regexp_parser
99438,424,563simplecov
1,77017,688,134paint

Owners

#GravatarHandle
1icontaw