Uma biblioteca em C para Programação Semi-definida
