Bruteforce methods and Tarski's relation algebra

Details will be made available soon.