Tableau

GitHub: https://github.com/lucasoshiro/tableau

Trabalho para a disciplina MAC0239 - Introdução à Lógica e Verificação de Programas do IME-USP, feito em outubro de 2016, junto com Matheus Tavares.

Este programa feito em Java recebe uma expressão lógica e devolve as valorações para suas váriaveis que a tornam verdadeira.

2023 Update

Esse código data dos meus primórdios na computação. Na época, esse era o código mais elegante que eu tinha escrito. O código em si ainda me parece bastante elegante, porém, reconheço que não segue boas práticas de Java (ex: poderia usar Gradle em vez de Makefile, e Javadoc em vez de comentários).