Projeto feito para a cadeira de lógica para computação, utilizando a biblioteca z3 para solucionar o problema em questão, abaixo estará em pdf o texto do problema.
Projeto feito para a cadeira de lógica para computação, utilizando a biblioteca z3 para solucionar o problema em questão, abaixo estará em pdf o texto do problema.