Acomodando el parser para que no parsee basura al final de las fórmulas.
Acomodando el parser para que no parsee basura al final de las fórmulas.
Acomodando el parser para que no parsee basura al final de las fórmulas.
Version for building debian/ubuntu package
Merge branch 'debian' of github.com:manugunther/sat into debian