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 /README.md | |
| 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 'README.md')
0 files changed, 0 insertions, 0 deletions