diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2020-10-26 20:37:38 +0100 |
|---|---|---|
| committer | Todd Gamblin <tgamblin@llnl.gov> | 2020-11-17 10:04:13 -0800 |
| commit | 1cdee03c4beae49cbc9c07ca45ec77882679717d (patch) | |
| tree | 1d565e23533d127a327a33246b219c4a3c1204c3 /var | |
| parent | 2595b58503f390dab2b4a53791afcfef36e214b2 (diff) | |
| download | spack-1cdee03c4beae49cbc9c07ca45ec77882679717d.tar.gz spack-1cdee03c4beae49cbc9c07ca45ec77882679717d.tar.bz2 spack-1cdee03c4beae49cbc9c07ca45ec77882679717d.tar.xz spack-1cdee03c4beae49cbc9c07ca45ec77882679717d.zip | |
concretizer: 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
Diffstat (limited to 'var')
0 files changed, 0 insertions, 0 deletions