diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2023-06-22 10:26:54 +0200 |
|---|---|---|
| committer | Todd Gamblin <tgamblin@llnl.gov> | 2023-08-15 15:54:37 -0700 |
| commit | b94e22b28419a13978cf2c86b3b7700bbb9d2601 (patch) | |
| tree | fcc98184f930a2527545aa9317785fc28af2f893 /.github | |
| parent | e25dcf73cd6b54b81f03220186be1648b84f527b (diff) | |
| download | spack-b94e22b28419a13978cf2c86b3b7700bbb9d2601.tar.gz spack-b94e22b28419a13978cf2c86b3b7700bbb9d2601.tar.bz2 spack-b94e22b28419a13978cf2c86b3b7700bbb9d2601.tar.xz spack-b94e22b28419a13978cf2c86b3b7700bbb9d2601.zip | |
ASP-based solver: do not optimize on known dimensions
All the solution modes we use imply that we have to solve for all
the literals, except for "when possible".
Here we remove a minimization on the number of literals not
solved, and emit directly a fact when a literal *has* to be
solved.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions