vim: tw=80 fo+=a libalf subversion repository this repository contains the following: libAMoRE _local_branch_ of libAMoRE-1.0, a C library to handle finite automata et al dependencies: none libAMoRE++ a locally developed C++ interface to libAMoRE with some extra functionality dependencies: libAMoRE libmVCA a locally developed C++ library for m-bounded visibly one-counter automata. dependencies: none libalf main C++ library of this project, implementation of algorithms, dependencies: none (requires liblangen and libAMoRE++ for some of its testcases) libalf_interfaces JNI, network protocol of libalf depencencies: libalf libalf_manual LaTeX manual of libalf depencencies: LaTeX and stuff liblangen locally developed C++ library, implementing algorithms to randomly derive NFAs, DFAs and regular expressions. dependencies: libgmp, libgmpxx finite-automata-tool command-line tool to create and transform finite automata in different formats dependencies: libAMoRE, libAMoRE++, libalf, liblangen, libgmp, libgmpxx include generic helpher functions the preferred order of installation is (of course): libAMoRE, libAMoRE++, libmVCA, liblangen, libalf, finite-automata-tool