https://github.com/tudo-aqua/z3-builds

Unofficial builds for Z3.
https://github.com/tudo-aqua/z3-builds

Last synced: about 2 months ago
JSON representation

Unofficial builds for Z3.

• Host: GitHub
• URL: https://github.com/tudo-aqua/z3-builds
• Owner: tudo-aqua
• Created: 2022-05-02T15:09:50.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2022-05-06T14:46:46.000Z (over 2 years ago)
• Last Synced: 2023-03-05T23:38:36.007Z (almost 2 years ago)
• Size: 4.88 KB
• Stars: 0
• Watchers: 5
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project