Algorithms Library Toolkit

For documentation and quickstart see our website.

What is it?

The Algorithms library toolkit (ALT) is a collection of implementations of various types of automata, grammars, and other common structires along with mathematical implementation of algorithms over these structures. Originaly developed at Faculty of Information Technology of Czech Technical University in Prague. It supposed to be a reference implementation of formal algorithms as-are in papers. It's interface allows practical reuse of existing algorithms in form of by pipe comunicating, partially using a query language in command line, and partially using a GUI interface.

The Latest Version

Packages and docker images with latest stable and nightly versions can be found visiting at website.

Requirements

C++-20 capable compiler, cmake (plus make or ninja). Linux platform (99.9 % percent of the features should work on different platforms but there are still small parts of code that are Linux only).

Build tools:

• cmake >= 3.12
• g++ >= 10.0 or clang++ >= 9.0 (compilation in C++20)

Libraries:

• tclap (header-only argument parsing library, fetched by CMake and git automatically during build process)
• libxml2
• readline

For GUI, you will need also the following libraries. However, GUI does not build by default now. Use cmake option -DWITH_AGUI=ON to build it:

• Qt5-qtbase >= 5.7
• jsoncpp
• graphviz

Optional dependencies:

• doxygen (for documentation generation)
• graphviz (for documentation generation and automata visualizations)

Installation

You can build from sources using cmake or download packages or sources of stable release We recommend running the testsuite using ctest as well.

We support common cmake options, additional ones are:

• -DWITH_AGUI=ON to build deprecated GUI part
• -DWITH_DOCS=ON to build a doxygen target to generate API docs.

Documentation

In order to generate API documentation, run cmake with -DWITH_DOCS=ON and then invoke doxygen target. The high-level documentation is located at ALT website.

Contributing

Feel free to fork this project and send your merge requests there. In case you want to run our Gitlab CI, remove all the following parts of code in .gitlab-ci.yml.

tags:
 - altbuilder

Developers

Editor configuration for this project is provided by editorconfig.

Issues and bugs

Please use our issue tracker.

Licensing

Please see LICENSE file.

Contacts

• You can contact the authors using our issue tracker or by email.

Authors

• Ing. Jan Trávníček,
• Ing. Tomáš Pecka,
• Ing. Štěpán Plachý,
• et. al.