diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2024-06-26 16:02:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-06-26 16:02:00 +0200 |
| commit | b0b6016e1259de62ec044642456f915248817b24 (patch) | |
| tree | 0e83f01ed5ecc22d8bfd766b5197cad13e9ad05c /bin/sbang | |
| parent | c24265fe7eca682dd1057e02cb6bfd95b985a28f (diff) | |
| download | spack-b0b6016e1259de62ec044642456f915248817b24.tar.gz spack-b0b6016e1259de62ec044642456f915248817b24.tar.bz2 spack-b0b6016e1259de62ec044642456f915248817b24.tar.xz spack-b0b6016e1259de62ec044642456f915248817b24.zip | |
ASP-based solver: add a generic rule for propagation (#44870)
This adds a generic propagate/2 rule to propagate any
fact to children in the DAG.
Diffstat (limited to 'bin/sbang')
0 files changed, 0 insertions, 0 deletions