Specifications for solver service. Skeleton for backtracking solution approximation.