@hackage / FirstOrderTheory

Grammar and typeclass for first order theories

0.1.0.6

Dependents

@hackage / DifferenceLogic A theory solver for conjunctions of literals in difference logic
- Version: 0.1.0.4
- Last uploaded: 11 years ago
- License: BSD-3-Clause
@hackage / Smooth A tiny, lazy SMT solver
- Version: 0.1.0.1
- Last uploaded: 11 years ago
- License: BSD-3-Clause
@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain