Todd Gamblin 0ed019d4ef 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)

2020-11-17 10:04:13 -08:00

..

util

concretizer: first working version with pyclingo interface

2020-11-17 10:04:13 -08:00

__init__.py

copyright: update copyright dates for 2020 (#14328)

2019-12-30 22:36:56 -08:00