https://github.com/florianschanda/smtlib_schanda

SMTLIB benchmarks assembled by Florian Schanda
https://github.com/florianschanda/smtlib_schanda

ieee-754 smt-lib

Last synced: 3 days ago
JSON representation

SMTLIB benchmarks assembled by Florian Schanda

• Host: GitHub
• URL: https://github.com/florianschanda/smtlib_schanda
• Owner: florianschanda
• License: gpl-3.0
• Created: 2017-06-13T09:00:57.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2020-04-23T16:26:32.000Z (over 5 years ago)
• Last Synced: 2025-05-05T19:03:09.341Z (5 months ago)
• Topics: ieee-754, smt-lib
• Size: 782 MB
• Stars: 8
• Watchers: 4
• Forks: 1
• Open Issues: 5
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project