Guillem Francès

Ideally, the code should compile without the ton of warnings that produces now. It doesn't seem too complicate to supress them.

Bump Up Minimum Python Supported Version to 3.8

1

Work in Progress - See Issue #130

Python 3.8 is already [more than a year old](https://www.python.org/downloads/), ships by default in the latest Ubuntu LTS and, more relevant to us, has a number of improvements that would allow...

The `evaluate` method at has been unfinished for a long time, and still does not support quantification. We should finish this.

Develop a Library of Problem Generators

3

I should find time to port to Tarski some of the countless problem generators that I have written for different papers / projects. Having some `generators` submodule (again, no need...