Add "--num-cores" option and pass through to clingo.#138
Draft
rpgoldman wants to merge 1 commit intologic-and-learning-lab:mainfrom
Draft
Add "--num-cores" option and pass through to clingo.#138rpgoldman wants to merge 1 commit intologic-and-learning-lab:mainfrom
rpgoldman wants to merge 1 commit intologic-and-learning-lab:mainfrom
