Categories: None [Edit]

z3

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

Total

Ranking: 12,030 of 193,756
Downloads: 225,359

Daily

Ranking: 4,734 of 193,649
Downloads: 927

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName
15,261139,375udb

Depends on

RankDownloadsName
81,345,947,699rake
271,035,670,182ffi
29989,540,006rspec
69625,499,263regexp_parser
71610,500,117pry
97475,839,609simplecov
1,80018,993,658paint

Owners

#GravatarHandle
1icontaw