Jukebox.ExternalProvers.SPASS

data SPASSFlags

spassFlags

runSPASS

extractAnswer