@hackage / jukebox

A first-order reasoning toolbox

Latest0.5.9

About

Metadata

  • Last updated , by NickSmallbone
  • License BSD-3-Clause

  • Maintained by: nicsma@chalmers.se

  • Lottery factor: 1

Links

Installation

Package Flags

Use the -f option with cabal commands to enable flags

    static-cxx (off by default)

    Build a binary which statically links against libstdc++.

Readme

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