Artifact for (A New Approach for Active Automata Learning Based on Apartness) @ TACAS 2022

This is the artifact submitted for the paper “A New Approach for Active Automata Learning Based on Apartness.” The artifact contains an implementation (called “automata-lib”) of the L# learning algorithm introduced in the paper, alongside the benchmark models. Please read the README.txt file for setup/running the experiments