libreria para crear facturas xml validas para el #sat ...
A version of cryptominisat allowing Projection in Model Counting.