diff options
author | Todd Gamblin <tgamblin@llnl.gov> | 2020-05-14 17:38:21 -0700 |
---|---|---|
committer | Todd Gamblin <tgamblin@llnl.gov> | 2020-11-17 10:04:13 -0800 |
commit | ac9405a80ebc60101ca099ffb3041f5ce9cf6720 (patch) | |
tree | a1c41e938d72553372e2c30f29de964903799de8 /LICENSE-MIT | |
parent | 5bb83be827091d7e8630dd0842dd7f61f40b67fa (diff) | |
download | spack-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 'LICENSE-MIT')
0 files changed, 0 insertions, 0 deletions