Text this: Hľadanie špeciálnych kvázigrúp pomocou SAT solverov