https://github.com/PatrickTheElder/easyz3

https://github.com/PatrickTheElder/easyz3

Last synced: 2 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/PatrickTheElder/easyz3
• Owner: PatrickTheElder
• License: agpl-3.0
• Created: 2024-12-30T12:58:02.000Z (11 months ago)
• Default Branch: main
• Last Pushed: 2024-12-30T14:34:46.000Z (11 months ago)
• Last Synced: 2025-07-14T06:40:24.583Z (5 months ago)
• Language: Rust
• Size: 23.4 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - EasyZ3 - simplified API to get started with the z3 SAT solver. (Projects / Libraries)