Generalizando la Satisfacibilidad Booleana III: Implementación