Esta versão não deverá ter nenhum impacto em relação à versão 2.0, já que
foram feitas apenas mudanças na estrutura do projeto:

* Removida dependência de pipenv;
* Revisão dos scripts de testes para correta execução via pytest/tox/CI
  contra a biblioteca SAT de simulação.