interface defined for solvers
task:descriptor and probability_solver compile