Is there an “actual” library for agnostic transition systems?