An automata library at VeriFIT, name to be decided.

Starting as a clone of Ondra Lengal's VATA2

Building

git clone https://github.com/ondrik/libvata2
cd libvata2
make release

Name		Name	Last commit message	Last commit date
Latest commit History 309 Commits
3rdparty		3rdparty
automata		automata
benchmark		benchmark
cli		cli
cmake/Modules		cmake/Modules
examples		examples
include/vata2		include/vata2
misc		misc
python_bind		python_bind
src		src
unit-test-data		unit-test-data
.gitignore		.gitignore
.travis.yml		.travis.yml
CMakeLists.txt		CMakeLists.txt
Doxyfile.in		Doxyfile.in
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
clean_gcda.sh		clean_gcda.sh
codecov.yml		codecov.yml
coverage-report.sh		coverage-report.sh
darwin17-7.suppressions		darwin17-7.suppressions