Input Format Example:

arg(a1).
arg(a2).
arg(a3).
att(a1,a2).
att(a2,a3).
att(a3,a3).

Extension 1
in(a1) out(a2) undec(a3)

Extension 2
...

(The encoding of the AF and each extension is seperated by an empty line.)

Exact Methods:

The TLCM method serves as a demo and can be run in the browser. For performance reasons, only IN/OUT crossings are minimized.

To run the MLCM method, which minimizes all crossings using gurobi, a local Flask application needs to be running. The application is available at: https://github.com/ChristianLinusPK/ArguViz