Mata: A Finite Automata Library

Mata is a well-engineered automata library written in C++ that offers a
unique combination of speed and simplicity. It is meant to serve in
applications such as string constraint solving and reasoning about
regular expressions, and as a reference implementation of automata
algorithms. Besides basic algorithms for (non)deterministic automata, it
implements a fast simulation reduction and antichain-based language
inclusion checking. The simplicity allows a straightforward access to
the low-level structures, making it relatively easy to extend and
modify. Besides the C++ API, the library also implements a Python
binding.