https://github.com/martindevans/zedzedzed

Ergonomic C# wrapper for Z3
https://github.com/martindevans/zedzedzed

Last synced: 5 days ago
JSON representation

Ergonomic C# wrapper for Z3

• Host: GitHub
• URL: https://github.com/martindevans/zedzedzed
• Owner: martindevans
• Created: 2017-12-19T17:33:45.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2024-09-25T16:05:55.000Z (4 months ago)
• Last Synced: 2024-12-29T18:25:09.502Z (28 days ago)
• Language: C#
• Size: 5.48 MB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project