diff --git a/agui2/ALIB.pro b/agui2/ALIB.pro
deleted file mode 100644
index 1b5e92bbda2a80d6f18b9ff0abe07414ae1ec3e5..0000000000000000000000000000000000000000
--- a/agui2/ALIB.pro
+++ /dev/null
@@ -1,133 +0,0 @@
-#-------------------------------------------------
-#
-# Project created by QtCreator 2017-02-14T13:31:24
-#
-#-------------------------------------------------
-
-QT += core gui xml
-
-greaterThan(QT_MAJOR_VERSION, 4): QT += widgets
-
-TARGET = ALIB
-TEMPLATE = app
-ALIB_PATH = ../automata-library
-
-# The following define makes your compiler emit warnings if you use
-# any feature of Qt which as been marked as deprecated (the exact warnings
-# depend on your compiler). Please consult the documentation of the
-# deprecated API in order to know how to port your code away from it.
-DEFINES += QT_DEPRECATED_WARNINGS QT_NO_FOREACH
-
-# You can also make your code fail to compile if you use deprecated APIs.
-# In order to do so, uncomment the following line.
-# You can also select to disable deprecated APIs only up to a certain version of Qt.
-#DEFINES += QT_DISABLE_DEPRECATED_BEFORE=0x060000 # disables all the APIs deprecated before Qt 6.0.0
-
-QMAKE_LFLAGS += -Wl,-no-as-needed
-CONFIG += c++1z
-QMAKE_RPATHDIR +=$${ALIB_PATH}/bin-debug
-
-SOURCES += src/Algorithm/Algorithm.cpp \
- src/Algorithm/Registry.cpp \
- src/Converter.cpp \
- src/Execution/ParallelExecutor.cpp \
- src/Graphics/Connection/Connection.cpp \
- src/Graphics/Connection/ConnectionBox.cpp \
- src/Graphics/Connection/InputConnectionBox.cpp \
- src/Graphics/Connection/OutputConnectionBox.cpp \
- src/Graphics/Dialogs/InputDialog.cpp \
- src/Graphics/Dialogs/OutputDialog.cpp \
- src/Graphics/GraphicsBox.cpp \
- src/Graphics/GraphicsScene.cpp \
- src/Graphics/GraphicsView.cpp \
- src/Graphics/InputGraphicsBox.cpp \
- src/GraphvizIntegrator.cpp \
- src/main.cpp \
- src/MainWindow.cpp \
- src/Models/AlgorithmModelBox.cpp \
- src/Models/InputModelBox.cpp \
- src/Models/ModelBox.cpp \
- src/Models/OutputModelBox.cpp \
- src/Utils.cpp
-
-HEADERS += src/Algorithm/Algorithm.hpp \
- src/Algorithm/Registry.hpp \
- src/Converter.hpp \
- src/Execution/ParallelExecutor.hpp \
- src/Graphics/Connection/Connection.hpp \
- src/Graphics/Connection/ConnectionBox.hpp \
- src/Graphics/Connection/InputConnectionBox.hpp \
- src/Graphics/Connection/OutputConnectionBox.hpp \
- src/Graphics/Dialogs/InputDialog.hpp \
- src/Graphics/Dialogs/OutputDialog.hpp \
- src/Graphics/GraphicsBox.hpp \
- src/Graphics/GraphicsScene.hpp \
- src/Graphics/GraphicsView.hpp \
- src/Graphics/InputGraphicsBox.hpp \
- src/GraphvizIntegrator.hpp \
- src/MainWindow.hpp \
- src/Models/AlgorithmModelBox.hpp \
- src/Models/InputModelBox.hpp \
- src/Models/ModelBox.hpp \
- src/Models/OutputModelBox.hpp \
- src/Utils.hpp
-
-FORMS += src/MainWindow.ui \
- src/Graphics/Dialogs/InputDialog.ui \
- src/Graphics/Dialogs/OutputDialog.ui
-
-INCLUDEPATH += $$PWD/$${ALIB_PATH}/bin-debug src/ libraries/json/include
-DEPENDPATH += $$PWD/$${ALIB_PATH}/bin-debug
-
-win32:CONFIG(release, debug|release): LIBS += -L$$PWD/$${ALIB_PATH}/bin-debug/release/ -lalib2std
-else:win32:CONFIG(debug, debug|release): LIBS += -L$$PWD/$${ALIB_PATH}/bin-debug/debug/ -lalib2std
-else:unix: LIBS += -L$$PWD/$${ALIB_PATH}/bin-debug/ -lalib2std
-
-win32:CONFIG(release, debug|release): LIBS += -L$$PWD/$${ALIB_PATH}/bin-debug/release/ -lalib2measure
-else:win32:CONFIG(debug, debug|release): LIBS += -L$$PWD/$${ALIB_PATH}/bin-debug/debug/ -lalib2measure
-else:unix: LIBS += -L$$PWD/$${ALIB_PATH}/bin-debug/ -lalib2measure
-
-win32:CONFIG(release, debug|release): LIBS += -L$$PWD/$${ALIB_PATH}/bin-debug/release/ -lalib2abstraction
-else:win32:CONFIG(debug, debug|release): LIBS += -L$$PWD/$${ALIB_PATH}/bin-debug/debug/ -lalib2abstraction
-else:unix: LIBS += -L$$PWD/$${ALIB_PATH}/bin-debug/ -lalib2abstraction
-
-win32:CONFIG(release, debug|release): LIBS += -L$$PWD/$${ALIB_PATH}/bin-debug/release/ -lalib2common
-else:win32:CONFIG(debug, debug|release): LIBS += -L$$PWD/$${ALIB_PATH}/bin-debug/debug/ -lalib2common
-else:unix: LIBS += -L$$PWD/$${ALIB_PATH}/bin-debug/ -lalib2common
-
-win32:CONFIG(release, debug|release): LIBS += -L$$PWD/../../../usr/lib/x86_64-linux-gnu/release/ -lxml2
-else:win32:CONFIG(debug, debug|release): LIBS += -L$$PWD/../../../usr/lib/x86_64-linux-gnu/debug/ -lxml2
-else:unix: LIBS += -L$$PWD/../../../usr/lib/x86_64-linux-gnu/ -lxml2
-
-win32:CONFIG(release, debug|release): LIBS += -L$$PWD/$${ALIB_PATH}/bin-debug/release/ -lalib2str
-else:win32:CONFIG(debug, debug|release): LIBS += -L$$PWD/$${ALIB_PATH}/bin-debug/debug/ -lalib2str
-else:unix: LIBS += -L$$PWD/$${ALIB_PATH}/bin-debug/ -lalib2str
-
-win32:CONFIG(release, debug|release): LIBS += -L$$PWD/$${ALIB_PATH}/bin-debug/release/ -lalib2xml
-else:win32:CONFIG(debug, debug|release): LIBS += -L$$PWD/$${ALIB_PATH}/bin-debug/debug/ -lalib2xml
-else:unix: LIBS += -L$$PWD/$${ALIB_PATH}/bin-debug/ -lalib2xml
-
-win32:CONFIG(release, debug|release): LIBS += -L$$PWD/$${ALIB_PATH}/bin-debug/release/ -lalib2data
-else:win32:CONFIG(debug, debug|release): LIBS += -L$$PWD/$${ALIB_PATH}/bin-debug/debug/ -lalib2data
-else:unix: LIBS += -L$$PWD/$${ALIB_PATH}/bin-debug/ -lalib2data
-
-win32:CONFIG(release, debug|release): LIBS += -L$$PWD/$${ALIB_PATH}/bin-debug/release/ -lalib2aux
-else:win32:CONFIG(debug, debug|release): LIBS += -L$$PWD/$${ALIB_PATH}/bin-debug/debug/ -lalib2aux
-else:unix: LIBS += -L$$PWD/$${ALIB_PATH}/bin-debug/ -lalib2aux
-
-win32:CONFIG(release, debug|release): LIBS += -L$$PWD/$${ALIB_PATH}/bin-debug/release/ -lalib2algo
-else:win32:CONFIG(debug, debug|release): LIBS += -L$$PWD/$${ALIB_PATH}/bin-debug/debug/ -lalib2algo
-else:unix: LIBS += -L$$PWD/$${ALIB_PATH}/bin-debug/ -lalib2algo
-
-INCLUDEPATH += $$PWD/$${ALIB_PATH}/alib2std/src/
-INCLUDEPATH += $$PWD/$${ALIB_PATH}/alib2abstraction/src/
-INCLUDEPATH += $$PWD/$${ALIB_PATH}/alib2common/src/
-INCLUDEPATH += $$PWD/$${ALIB_PATH}/alib2xml/src/
-INCLUDEPATH += $$PWD/$${ALIB_PATH}/alib2str/src/
-INCLUDEPATH += $$PWD/$${ALIB_PATH}/alib2cli/src/
-INCLUDEPATH += /usr/include/libxml2
-
-unix:!macx: LIBS += -L/usr/lib/ -lgvc -lcgraph -lcdt
-
-INCLUDEPATH += /usr/include/graphviz
-DEPENDPATH += /usr/include/graphviz