When using klee-stats and having python 3.10 Tabulate does not work Why shouldn't it work? I use it with Python 3.10 all the time. Are you sure it's not setup issue on your machine? Just checked - ...