https://github.com/aztek/tptp2smt

A translator from TPTP to SMT-LIB
https://github.com/aztek/tptp2smt

smt-lib smtlib tptp

Last synced: 29 days ago
JSON representation

A translator from TPTP to SMT-LIB

• Host: GitHub
• URL: https://github.com/aztek/tptp2smt
• Owner: aztek
• License: gpl-3.0
• Created: 2017-06-28T15:20:01.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2018-05-14T12:40:12.000Z (over 6 years ago)
• Last Synced: 2023-03-12T04:11:44.791Z (almost 2 years ago)
• Topics: smt-lib, smtlib, tptp
• Language: Haskell
• Size: 17.6 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project