diff options
author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2023-11-28 16:28:54 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-11-28 16:28:54 +0100 |
commit | 0e65e84768949b6e989036bbc17a2db5b4b62a4c (patch) | |
tree | 818804f18e7bb5a71feb3d5685038fc3eec7150e /.gitignore | |
parent | e0da7154ad33a4573f91ab4068239b5a6cd1a549 (diff) | |
download | spack-0e65e84768949b6e989036bbc17a2db5b4b62a4c.tar.gz spack-0e65e84768949b6e989036bbc17a2db5b4b62a4c.tar.bz2 spack-0e65e84768949b6e989036bbc17a2db5b4b62a4c.tar.xz spack-0e65e84768949b6e989036bbc17a2db5b4b62a4c.zip |
ASP-based solver: use a unique ID counter (#41290)
* solver: use a unique counter for condition, triggers and effects
* Do not reset counters when re-running setup
What we need is just a unique ID, it doesn't need
to start from zero every time.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions