module Theseus::Solvers