Categories: None [Edit]

z3

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

Total

Ranking: 9,279 of 198,025
Downloads: 428,299

Daily

Ranking: 5,259 of 197,989
Downloads: 867

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName
13,198198,381udb

Depends on

RankDownloadsName
81,452,458,801rake
271,116,483,240ffi
291,035,635,780rspec
67690,259,975regexp_parser
73645,358,109pry
97514,980,740simplecov
145367,298,986rdoc
1,79920,153,877paint

Owners

#GravatarHandle
1icontaw