problog

val problog: SolverFactory