jeroenk/sokoban2etf — Issue #1: Encode lurd strings as edge labels
Author: jeroenk
Created: 2011-12-05 22:36:56+00:00
State: open

Currently the generated traces are rather non-descript.