#include <refcounted.hpp>

#include <solution.hpp>

#include <problem.hpp>

struct automata;

refcounted<class solution> find_solution(
    refcounted<problem> problem,
    const struct automata* start);