@hackage jukebox0.5.5

A first-order reasoning toolbox

Categories
License
BSD-3-Clause
Maintainer
nicsma@chalmers.se
Links
Versions
- 0.5.5 Tue, 27 Feb 2024
- 0.5.4 Tue, 5 Mar 2024
- 0.5.3 Tue, 5 Mar 2024
- 0.5.2 Tue, 5 Mar 2024
- 0.5.1 Tue, 5 Mar 2024
- 0.5 Tue, 5 Mar 2024

Installation
In your cabal file:
Dependencies (15)
- array
- base >=4 && <5
- containers
- directory
- filepath
- process
Dependents (1)
@hackage/twee

Package Flags

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