https://github.com/mateusz-grzelinski/sat-prover-benchmark

Prover9 and SPASS benchmark
https://github.com/mateusz-grzelinski/sat-prover-benchmark

Last synced: about 2 months ago
JSON representation

Prover9 and SPASS benchmark

• Host: GitHub
• URL: https://github.com/mateusz-grzelinski/sat-prover-benchmark
• Owner: Mateusz-Grzelinski
• License: gpl-3.0
• Created: 2019-04-04T13:32:47.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2019-04-05T20:05:15.000Z (almost 6 years ago)
• Last Synced: 2024-04-28T04:29:08.678Z (9 months ago)
• Language: Shell
• Size: 12.7 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project