jukebox: A first-order reasoning toolbox
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).
Modules
- Jukebox
- Jukebox.Clausify
- Jukebox.Form
- Jukebox.GuessModel
- Jukebox.HighSat
- Jukebox.InferTypes
- Monotonox
- Jukebox.Monotonox.Monotonicity
- Jukebox.Monotonox.ToFOF
- Jukebox.Name
- Jukebox.Options
- Provers
- Jukebox.Provers.E
- Jukebox.Provers.SPASS
- Jukebox.Sat
- Jukebox.Sat3
- Jukebox.SatEq
- Jukebox.SatMin
- TPTP
- Jukebox.TPTP.FindFile
- Jukebox.TPTP.Lexer
- Jukebox.TPTP.Parse
- Jukebox.TPTP.Parse.Core
- Jukebox.TPTP.ParseSnippet
- Jukebox.TPTP.Parsec
- Jukebox.TPTP.Print
- Jukebox.Toolbox
- Jukebox.UnionFind
- Jukebox.Utils
Downloads
- jukebox-0.2.2.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
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, 0.5.6, 0.5.7, 0.5.8, 0.5.9 |
|---|---|
| Dependencies | array, base (>=4 && <5), containers, directory, dlist, filepath, jukebox, minisat, pretty, process, symbol, transformers, uglymemo [details] |
| License | BSD-3-Clause |
| Copyright | 2009-2016 Nick Smallbone, Koen Claessen, Ann Lillieström |
| Author | Nick Smallbone |
| Maintainer | nicsma@chalmers.se |
| Uploaded | by NickSmallbone at 2016-02-01T12:10:55Z |
| Category | Logic |
| Source repo | head: git clone https://github.com/nick8325/jukebox |
| Distributions | NixOS:0.5.9 |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Executables | jukebox |
| Downloads | 28987 total (164 in the last 30 days) |
| Rating | 2.0 (votes: 1) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs not available [build log] All reported builds failed as of 2016-11-28 [all 3 reports] |