#include <problem.hpp>

#include <refcounted.hpp>

#include <solution.hpp>

void verify_solution(
    refcounted<problem> problem,
    refcounted<solution> solution);