-
- Downloads
ASP: add conflict rules from packages
Conflict rules from packages are added as integrity constraints in the ASP formulation. Most of the code to generate them has been reused from PyclingoDriver.rules
parent
bb741664
Branches features/solver-rebased
No related tags found
Showing
- lib/spack/spack/solver/asp.py 64 additions, 16 deletionslib/spack/spack/solver/asp.py
- lib/spack/spack/spec.py 1 addition, 1 deletionlib/spack/spack/spec.py
- lib/spack/spack/test/concretize.py 8 additions, 10 deletionslib/spack/spack/test/concretize.py
- lib/spack/spack/test/conftest.py 3 additions, 2 deletionslib/spack/spack/test/conftest.py
- lib/spack/spack/test/package_sanity.py 1 addition, 1 deletionlib/spack/spack/test/package_sanity.py
Loading
Please register or sign in to comment