#include <automata.hpp>

#include <problem.hpp>

#include <cmdln_flags.hpp>

automata* build_automata(
    cmdln_flags& flags,
    refcounted<problem> p);