The jukebox package

[Tags:bsd3, library, program]

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

Properties

Versions 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
Dependencies array, base (==4.*), containers, directory, dlist, filepath, jukebox, minisat, pretty (>=1.1.2.0), process, symbol, transformers (>=0.4.0.0), uglymemo [details]
License BSD3
Copyright 2009-2016 Nick Smallbone, Koen Claessen, Ann Lillieström
Author Nick Smallbone
Maintainer nicsma@chalmers.se
Category Logic
Source repository head: git clone https://github.com/nick8325/jukebox
Uploaded Fri Mar 10 17:46:41 UTC 2017 by NickSmallbone
Distributions NixOS:0.2.17
Downloads 1848 total (46 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Last success reported on 2017-03-10 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Flags

NameDescriptionDefaultType
minisatUse minisat. Required for monotonicity inference.EnabledAutomatic

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

Downloads

Maintainer's Corner

For package maintainers and hackage trustees