Ruby bindings for Z3 Constraint Solver

Required Ruby Version

>= 3.0

Authors

Tomasz Wegrzanowski

Versions

  1. 0.0.20260727

    1. source

      1. 0.0.20260727 source July 27, 2026 (103 KB)
  2. 0.0.20251017

    1. source

      1. 0.0.20251017 source October 17, 2025 (90.5 KB)
  3. 0.0.20230311

    1. source

      1. 0.0.20230311 source March 11, 2023 (89 KB)
  4. 0.0.20230107

    1. source

      1. 0.0.20230107 source January 07, 2023 (89 KB)
  5. 0.0.20221020

    1. source

      1. 0.0.20221020 source October 20, 2022 (88 KB)
Show all versions (26 total)

Requirements

z3 library (4.16+)

Pushed by

taw

SHA 256 checksum

← Previous version