RubyGems Navigation menu

z3 0.0.20211213

Ruby bindings for Z3 Constraint Solver

Versions:

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

Runtime Dependencies (1):

  • ffi ~> 1.9
  • Development Dependencies (6):

  • paint >= 2.1.0
  • pry >= 0
  • rake >= 12
  • regexp_parser ~> 1.3
  • rspec ~> 3.8
  • simplecov ~> 0.16
  • Requirements:

    z3 library (4.8+)

    Owners:

    Pushed by:

    Authors:

    • Tomasz Wegrzanowski

    SHA 256 checksum:

    f2b66bd34fcc901837a14c8a27bebd30e1e023859f2232b4fc1051e34217fbad

    Total downloads 19,117

    For this version 277

    Gemfile:
    = Copy to clipboard Copied!

    install:
    =

    License:

    MIT

    Required Ruby Version: >= 0

    Links: