Joeri Exelmans 17bff66e8e Add conformance checking example 10 meses atrás
..
prompt.py 17bff66e8e Add conformance checking example 10 meses atrás
timer.py 4160a8953e Tweak matcher (compute connected components in advance). Simple pattern matching with RAMification (incl. Python expressions) seems to work. 11 meses atrás