@hackage jukebox0.4.1

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
- containers
- directory
- dlist
- filepath
Dependents (2)
@hackage/acme-everything, @hackage/twee

Package Flags

minisat

(on by default)

Use minisat. Required for monotonicity inference.

static-cxx

(off by default)

Build a binary which statically links against libstdc++.

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).