GitHub repository: maybal9/Cost-Register-Automata-library
Primary language: Java
Description: a java library for Additive Cost Register Automata