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)

Options

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 16:59:57 2012