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