Twee is written in Haskell - so you will need to have GHC, the Glasgow Haskell Compiler, installed. The easiest way is to install Stack, a Haskell package manager, from here. Then run
stack install twee twee-lib jukebox minisat
which should put a copy of twee in your
You can either add
~/.local/bin to your
PATH or copy the
binary somewhere more convenient.
If you have a suitable version of LLVM installed, you can pass the
--flag twee-lib:llvm to
stack install to get a somewhat
If you want a tarball of the latest version, you can get it
To install it, just type
Installing from binary
If you use Linux on amd64 you can download a binary release.
System on TPTP
Twee is also available on System on TPTP (thanks Geoff!)