To reference or cite the objects present in the Software Heritage archive, permalinks based on SoftWare Hash IDentifiers (SWHIDs) must be used. Select below a type of object currently browsed in order to display its associated SWHID and permalink.
swh:1:cnt:e71d1fcc4db6878dbd1c5c96bd0ed20c2d503601
swh:1:dir:4f7030862e804fb674e63df9a580cd1fe30f6ff4
unsat (error "line 191 column 10: model is not available")