GE2RAT is a tool written in Haskell that transforms Gaussian elimination steps into a RAT derivation.
Datei:Ge2rat.zip
