summaryrefslogtreecommitdiff
path: root/share
diff options
context:
space:
mode:
authorTodd Gamblin <tgamblin@llnl.gov>2020-05-14 17:38:21 -0700
committerTodd Gamblin <tgamblin@llnl.gov>2020-11-17 10:04:13 -0800
commitac9405a80ebc60101ca099ffb3041f5ce9cf6720 (patch)
treea1c41e938d72553372e2c30f29de964903799de8 /share
parent5bb83be827091d7e8630dd0842dd7f61f40b67fa (diff)
downloadspack-ac9405a80ebc60101ca099ffb3041f5ce9cf6720.tar.gz
spack-ac9405a80ebc60101ca099ffb3041f5ce9cf6720.tar.bz2
spack-ac9405a80ebc60101ca099ffb3041f5ce9cf6720.tar.xz
spack-ac9405a80ebc60101ca099ffb3041f5ce9cf6720.zip
concretizer: refactor to support multiple solver backends
There are now three parts: - `SpackSolverSetup` - Spack-specific logic for generating constraints. Calls methods on `AspTextGenerator` to set up the solver with a Spack problem. This shouln't change much from solver backend to solver backend. - ClingoDriver - The solver driver provides methods for SolverSetup to generates an ASP program, send it to `clingo` (run as an external tool), and parse the output into function tuples suitable for `SpecBuilder`. - The interface is generic and should not have to change much for a driver for, say, the Clingo Python interface. - SpecBuilder - Builds Spack specs from function tuples parsed by the solver driver.
Diffstat (limited to 'share')
0 files changed, 0 insertions, 0 deletions