diff options
| author | Todd Gamblin <tgamblin@llnl.gov> | 2020-12-31 11:15:31 -0800 |
|---|---|---|
| committer | Todd Gamblin <tgamblin@llnl.gov> | 2021-01-04 14:51:10 -0800 |
| commit | a1ed71f7e4baa13b2b7e8234dec8b41c17ae779c (patch) | |
| tree | f16d605fd2dab39b82eed985ddec93ed0eea39d9 /share | |
| parent | 0ce08640e08de8f7313a4b3974131e2efa5249e0 (diff) | |
| download | spack-a1ed71f7e4baa13b2b7e8234dec8b41c17ae779c.tar.gz spack-a1ed71f7e4baa13b2b7e8234dec8b41c17ae779c.tar.bz2 spack-a1ed71f7e4baa13b2b7e8234dec8b41c17ae779c.tar.xz spack-a1ed71f7e4baa13b2b7e8234dec8b41c17ae779c.zip | |
concretizer: remove rule generation code from concretizer
Our program only generates facts now, so remove all unused code related
to generating cardinality constraints and rules.
Diffstat (limited to 'share')
0 files changed, 0 insertions, 0 deletions