jukebox-0.5.4: A first-order reasoning toolbox
Safe HaskellNone
LanguageHaskell2010

Jukebox.ExternalProvers.SPASS

Documentation

data SPASSFlags Source #

Constructors

SPASSFlags 

Fields