Closed jleidel closed 4 years ago
Since clingo has been removed from the CoreGenBackend, remove it from the link steps in CoreGenPortal
passed all devel tests; need to merge to master
Since clingo has been removed from the CoreGenBackend, remove it from the link steps in CoreGenPortal