jukebox: A first-order reasoning toolbox

[ bsd3, library, logic, program ] [ Propose Tags ]

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

Versions [faq] 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
Dependencies array, base (==4.*), binary, containers, directory, dlist, filepath, jukebox, minisat, pretty, process, symbol, transformers, uglymemo, unordered-containers [details]
License BSD-3-Clause
Copyright 2009-2016 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 Sat Jan 30 16:56:27 UTC 2016
Distributions NixOS:0.4.4
Executables jukebox
Downloads 17467 total (1664 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2016-11-28 [all 3 reports]

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

Maintainer's Corner

For package maintainers and hackage trustees