@hackage jukebox0.2.3

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 (12)
- array
- base >=4 && <5
- containers
- directory
- filepath
- process
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).