@hackage jukebox0.1.5

A first-order reasoning toolbox

Categories
License
BSD-3-Clause
Maintainer
nicsma@chalmers.se
Links
Versions
- 0.5.14 Mon, 27 Jul 2026
- 0.5.13 Thu, 23 Jul 2026
- 0.5.9 Mon, 15 Sep 2025
- 0.5.8 Tue, 24 Jun 2025
- 0.5.7 Tue, 24 Jun 2025
- 0.5.6 Tue, 24 Jun 2025

Installation
In your cabal file:
Dependencies (13)
- array
- base >=4 && <5
- binary
- bytestring
- containers
- directory
Dependents (2)
@hackage/acme-everything, @hackage/twee

Jukebox is a suite of tools for transforming problems in first-order logic. It reads problems in TPTP (FOF and TFF) format.

Currently it can translate typed problems to untyped (by efficiently encoding types) and clausify problems (both typed and untyped).