GitHub repository: tamarit/reverCSP
Primary language: Erlang
Description: Reversible CSP Computations