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.
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, 0.5.5 |
|---|---|
| Change log | None available |
| Dependencies | array, base (>=4 && <5), 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] [Quick Jump]
- Jukebox
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| minisat | Use minisat. Required for monotonicity inference. | Enabled |
| 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
- jukebox-0.4.2.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
Package maintainers
For package maintainers and hackage trustees