erl_env

This CMake project provides erl_env which is a collection of environment abstractions. This package is an updated version of another repo. We should merge the old one into this one in the future.

TODO

• Add support to multiple accepting sets for spot::twa_graph in erl::env::FiniteStateAutomaton if needed.