Categories: None [Edit]

z3

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

Total

Ranking: 9,636 of 197,085
Downloads: 386,620

Daily

Ranking: 3,647 of 197,066
Downloads: 891

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName
13,766179,697udb

Depends on

RankDownloadsName
81,428,256,062rake
271,097,139,199ffi
291,025,379,194rspec
68675,160,016regexp_parser
72637,492,173pry
98505,778,426simplecov
150353,290,307rdoc
1,80019,915,606paint

Owners

#GravatarHandle
1icontaw