Reimplementace Q-systémů v C++. Oproti původní specifikaci umožňuje používat pojmenované proměnné a automaticky rozpoznává vznikající duplicitní hrany a zabraňuje tak exponenciální explozi velikosti grafu.
Reimplementace Q-systémů v C++. Oproti původní specifikaci umožňuje používat pojmenované proměnné a automaticky rozpoznává vznikající duplicitní hrany a zabraňuje tak exponenciální explozi velikosti grafu. (cs)