Framework para resolução de programas mistos
