Spartacus Online Demo

Saarland University Computer Science

You can input a formula here (have a look at some sample formulas)

or select a file

in one of the following formats

Spartacus native format (see Appendix A in Daniel's thesis)
InToHyLo format (AKA HTab simplified format; H(:,E) fragment; see §6.1 in Guillaume's PhD thesis)


timeout (in seconds)
negate input formula
all relations reflexive
all relations transitive
all relations serial
display input formula in the output

Webmaster, Thu Aug 23 18:59:57 2012