@hackage jukebox0.4.2

A first-order reasoning toolbox

  • Installation

  • Dependencies (13)

  • Dependents (2)

    @hackage/acme-everything, @hackage/twee

    • Package Flags

      minisat
       (on by default)

      Use minisat. Required for monotonicity inference.

      static-cxx
       (off by default)

      Build a binary which statically links against libstdc++.

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