-
gap-packages/Semigroups: 3.0.2
This is an minor release fixing some minor issues in the last release. The following issues were resolved: Issue 330 InversesOfSemigroupElement some times returned an... -
Wikidata-Toolkit RDF diff comparision
Dateien zur Reproduktion eines Vergleichs zwischen Wikidata-Toolkit und Wikidata RDF-Exporten. Die beiden Dumps, welche verglichen wurden: JSON:... -
Polaris: A Separation Logic For Concurrent Randomized Programs
This is the archived artifact associated with the paper " A Separation Logic for Concurrent Randomized Programs" by Joseph Tassarotti and Robert Harper. The... -
r37980778c78--44eb951130a3cb226349b6f379c32f57
The zipfile contains an extended version of the Fast Downward planning system (http://fast-downward.org). The code for subset-saturated cost partitioning can be found in the... -
Code from the paper "Subset-Saturated Cost Partitioning for Optimal Classical...
The zipfile contains an extended version of the Fast Downward planning system (http://fast-downward.org). The code for subset-saturated cost partitioning can be found in the...