jukebox-0.4.2: A first-order reasoning toolbox

Safe HaskellNone
LanguageHaskell98

Jukebox.ExternalProvers.SPASS

Documentation

data SPASSFlags Source #

Constructors

SPASSFlags 

Fields