GitHub repository: pickoba/satysfi-algorithm
Description: Typesetting pseudo-code in SATySFi