Making smallest possible test suite using Z3 https://yurichev.com/blog/set_cover/ (really elegant application of the set cover problem to test suites)