Skip to content

ubuntu-24.04: use Spack's optimized clingo instead of the PyPI wheel - #91

Open
zackgalbreath wants to merge 2 commits into
mainfrom
ubuntu-24.04-spack-clingo
Open

ubuntu-24.04: use Spack's optimized clingo instead of the PyPI wheel#91
zackgalbreath wants to merge 2 commits into
mainfrom
ubuntu-24.04-spack-clingo

ubuntu-24.04: move clingo install into scripts/bootstrap-clingo.sh

92c54f0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar