GitHub repository: taw/z3
Primary language: Ruby
Created: 2016-02-14T11:07:22Z
Description: Ruby bindings for Z3 constraint solver library