DynASP Experiments Solver see: https://github.com/daajoe/dynasp Content LPNMR 2017 Experiments for an LPNMR 2017 paper See: LPNMR17 Branch Used DynASP solver Authors self-archived version of the paper Earlier Version of the paper