z3 0.0.20211213
Ruby bindings for Z3 Constraint Solver
Gemfile:
=
Copier
Copié!
installation:
=
Versions:
- 0.0.20230311 - March 11, 2023 (89 ko)
- 0.0.20230107 - January 07, 2023 (89 ko)
- 0.0.20221020 - October 20, 2022 (88 ko)
- 0.0.20220828 - August 28, 2022 (87,5 ko)
- 0.0.20220630 - June 30, 2022 (87,5 ko)
- 0.0.20211213 - December 13, 2021 (87 ko)
Dépendances de Runtime (1):
ffi
~> 1.9
Dépendances de Development (6):
Dépendances:
z3 library (4.8+)