FxchMan.c
20 KB
-
Fix the problem of not identifying divisors when its originating cubes had only 2 literals. · f93fbc23With this change, 'empty' sub-cubes (sub-cubes with an ID equal to zero) are inserted in the 0th bin of the hash table.
Bruno Schmitt committed