@hackage / logic-TPTP

Import, export etc. for TPTP, a syntax for first-order logic

0.6.0.0

Dependents

@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain
@hackage / toysolver Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
- Version: 0.9.0
- Last uploaded: about 1 year ago
- License: BSD-3-Clause