Cambiando parentesis y comas por puntos para la aplicación de funciones, predicados y relaciones.
Version for building debian/ubuntu package
Merge branch 'debian' of github.com:manugunther/sat into debian