Categories: None [Edit]

z3

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

Total

Ranking: 10,008 of 196,658
Downloads: 350,939

Daily

Ranking: 3,564 of 196,619
Downloads: 744

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName
14,233166,597udb

Depends on

RankDownloadsName
81,416,600,134rake
271,088,509,146ffi
291,020,526,382rspec
68667,938,641regexp_parser
72633,800,712pry
98501,545,707simplecov
151347,133,187rdoc
1,80419,803,801paint

Owners

#GravatarHandle
1icontaw