@hackage jukebox0.5.5

A first-order reasoning toolbox

  • Installation

  • Dependencies (10)

  • Dependents (1)

    @hackage/twee

    • Package Flags

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