diff options
author | Todd Gamblin <tgamblin@llnl.gov> | 2020-06-07 11:48:22 -0700 |
---|---|---|
committer | Todd Gamblin <tgamblin@llnl.gov> | 2020-11-17 10:04:13 -0800 |
commit | 0ed019d4efd9445771d2c49a623706ecc6ea0819 (patch) | |
tree | 23bbc33da9cf73391f49a3382c094e3fcd7f08c3 /.github | |
parent | 14ab63f97cf34c3a43a16717ccc7a360e6bd4287 (diff) | |
download | spack-0ed019d4efd9445771d2c49a623706ecc6ea0819.tar.gz spack-0ed019d4efd9445771d2c49a623706ecc6ea0819.tar.bz2 spack-0ed019d4efd9445771d2c49a623706ecc6ea0819.tar.xz spack-0ed019d4efd9445771d2c49a623706ecc6ea0819.zip |
concretizer: first working version with pyclingo interface
- [x] Solver now uses the Python interface to clingo
- [x] can extract unsatisfiable cores from problems when things go wrong
- [x] use Python callbacks for versions instead of choice rules (this may
ultimately hurt performance)
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions