jukebox: A first-order reasoning toolbox

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

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, 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.2, 0.4.3, 0.4.4, 0.4.5, 0.5, 0.5.1, 0.5.2, 0.5.3, 0.5.4
Change log None available
Dependencies array, base (==4.*), containers, directory, dlist, filepath, jukebox, minisat, pretty (>=1.1.2.0), process, semigroups, symbol, transformers (>=0.4.0.0), uglymemo [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 2018-09-22T12:07:48Z

Modules

[Index]

Flags

NameDescriptionDefaultType
minisat

Use minisat. Required for monotonicity inference.

EnabledAutomatic
static-cxx

Build a binary which statically links against libstdc++.

DisabledAutomatic

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