Sat4j es una completa biblioteca de razonamiento booleano diseñada para llevar las tecnologías SAT más avanzadas a la máquina virtual Java. Sat4j es una biblioteca java para resolver problemas de satisfacción booleana y de optimización. Puede resolver problemas SAT, MAXSAT, Pseudo-Boolean, Minimally Unsatisfiable Subset (MUS).