[JAVA] - SAT

Ambiente de suporte para o módulo SAT em Java.