https://github.com/calvin-l/many-smt

An SMT frontend that runs multiple backend solvers in parallel, returning the first result
https://github.com/calvin-l/many-smt

Last synced: 2 months ago
JSON representation

An SMT frontend that runs multiple backend solvers in parallel, returning the first result

• Host: GitHub
• URL: https://github.com/calvin-l/many-smt
• Owner: Calvin-L
• License: mit
• Created: 2021-02-27T01:55:54.000Z (almost 4 years ago)
• Default Branch: main
• Last Pushed: 2023-04-06T18:15:54.000Z (over 1 year ago)
• Last Synced: 2024-04-23T02:10:45.714Z (8 months ago)
• Language: Python
• Size: 92.8 KB
• Stars: 5
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project