ASTL. The Automata Standard Template Library: Welcome to the Automata Standard Template Library home page. ASTL is a set of generic and efficient C++ components for automata manipulation. It provides a collection of new concepts and header files which one can reuse under the terms of the Lesser GNU Public License. The library has been designed and tested with the latest versions of g++
Keywords for this software
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Heuberger, Clemens; Krenn, Daniel; Kropf, Sara: Automata in SageMath -- combinatorics meet theoretical computer science (2016)