The latest version of jukebox is 0.5.5-0.
jukebox
Version 0.4.5 revision 1 uploaded by AndreasAbel.
Package meta
- Synopsis
- A first-order reasoning toolbox
- Description
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).
- Author
- Nick Smallbone
- Bug reports
- n/a
- Category
- Logic
- Copyright
- 2009-2017 Nick Smallbone, Koen Claessen, Ann Lillieström
- Homepage
- n/a
- Maintainer
- nicsma@chalmers.se
- Package URL
- n/a
- Stability
- n/a