RubyGems Navigation menu

z3 0.0.20181229

Ruby bindings for Z3 Constraint Solver

Versions:

  1. 0.0.20181229 - December 29, 2018 (67.5 KB)
  2. 0.0.20181126 - November 26, 2018 (67 KB)
  3. 0.0.20180629 - June 29, 2018 (67 KB)
  4. 0.0.20180624 - June 24, 2018 (66 KB)
  5. 0.0.20180616 - June 16, 2018 (66 KB)
Show all versions (16 total)

Runtime Dependencies (1):

Requirements:

z3 library (4.8+)

Authors:

  • Tomasz Wegrzanowski

Owners:

SHA 256 checksum:

1eaa87223d21112355760a2af6e58e98a305e550f9cca4d3dc94296095cd8648

Total downloads 10,005

For this version 195

Gemfile:
= Copy to clipboard Copied!

install:
=

License:

MIT

Required Ruby Version: >= 0

Links: