countMintermExact is broken

[jwaldmann]

Actually, reading apa numbers is broken. Patch incoming.

[jwaldmann]

see df1142c . The problem is that elements of the apa array are declared to be CInt, that is, signed. This has to be repaired somewhere. The following works:

     digits <- peekArray size apa
     c_cuddFreeApaNumber apa
-    return $ foldl ( \ a d -> a * 2^32 + fromIntegral d ) 0 digits
+    let patch :: CInt -> Integer
+        patch d = fromIntegral d + if d < 0 then 2^32 else 0
+    return $ foldl ( \ a d -> a * 2^32 + patch d ) 0 digits