Information

Help
About us
Download

Source

Goal

Actions

Specialised Code

Working Examples

vanilla_list.pl match.pl even_odd.pl depth.pl regular_expression.pl matrix.pl maxlen.pl groundunify.pl map.pl rotateprune.pl relative.pl advisor.pl ctl_specialised_petri.pl ctl_trace.pl liftsolve.pl transpose.pl member_from_delete.pl power.pl append.pl reverse.pl prop_int.pl

Control Setting

Default Conjunctive
Conjunctive Fast
Classic
Mixtus Style
Classic Fast
Minimal
Termination

Post-processing

Max
Default
Off

Plug-ins

About Plug-ins

ECCE is part of the ASAP Project.     Queries? Please contact: Heinrich-Heine-University, Institut für Software und Programmiersprachen: To Website. Datenschutz.