https://github.com/mateusz-grzelinski/tptp_converter

TPTP to dimacs converter
https://github.com/mateusz-grzelinski/tptp_converter

dimacs python tptp

Last synced: about 1 month ago
JSON representation

TPTP to dimacs converter

• Host: GitHub
• URL: https://github.com/mateusz-grzelinski/tptp_converter
• Owner: Mateusz-Grzelinski
• Created: 2019-04-27T11:52:33.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2019-06-25T18:19:01.000Z (over 5 years ago)
• Last Synced: 2024-04-28T04:29:09.225Z (8 months ago)
• Topics: dimacs, python, tptp
• Language: Python
• Size: 234 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project