jukebox: A first-order reasoning toolbox

[ bsd3, library, logic, program ] [ Propose Tags ] [ Report a vulnerability ]

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

Flags

Automatic Flags
NameDescriptionDefault
static-cxx

Build a binary which statically links against libstdc++.

Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.1, 0.1.1, 0.1.2, 0.1.3, 0.1.4, 0.1.5, 0.1.6, 0.2, 0.2.1, 0.2.2, 0.2.3, 0.2.4, 0.2.5, 0.2.6, 0.2.7, 0.2.8, 0.2.9, 0.2.10, 0.2.11, 0.2.13, 0.2.13.1, 0.2.14, 0.2.15, 0.2.16, 0.2.17, 0.2.19, 0.2.20, 0.3, 0.3.1, 0.3.2, 0.3.3, 0.3.4, 0.3.5, 0.3.6, 0.3.7, 0.4, 0.4.1, 0.4.2, 0.4.3, 0.4.4, 0.4.5, 0.5, 0.5.1, 0.5.2, 0.5.3, 0.5.4, 0.5.5
Dependencies array, base (>=4 && <5), containers, directory, dlist, fail, filepath, jukebox, minisat, pretty (>=1.1.2.0), process, semigroups, symbol, transformers (>=0.4.0.0), uglymemo, utf8-string [details]
License BSD-3-Clause
Copyright 2009-2017 Nick Smallbone, Koen Claessen, Ann Lillieström
Author Nick Smallbone
Maintainer nicsma@chalmers.se
Category Logic
Source repo head: git clone https://github.com/nick8325/jukebox
Uploaded by NickSmallbone at 2024-02-27T17:36:37Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Executables jukebox
Downloads 27951 total (6 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2024-02-27 [all 1 reports]