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.