mercury/extras/solver_types/library
