Wed, 13 Nov 2024 14:21:44 UTC | login

Information for file /usr/src/debug/clingo-5.6.2-8.fc40.riscv64/clasp/clasp/solver_strategies.h

Name/usr/src/debug/clingo-5.6.2-8.fc40.riscv64/clasp/clasp/solver_strategies.h
Digest (sha256)abd15c5466c689adb535f55b14429f4565532640a02fc95292b856b0bf1272ac
Size28.40 KB
Modification timeMon, 07 Nov 2022 09:42:41 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMclingo-debugsource-5.6.2-8.fc40.riscv64.rpm