Jukebox.Provers.SPASS

data SPASSFlags

spassFlags

runSPASS

extractAnswer