Picross instance
({clusterH: [[3, 6], [1, 4], [1, 1, 3], [2], [3, 3], [1, 4], [2, 5], [2, 5], [1, 1], [3]], clusterV: [[2, 3], [1, 2], [1, 1, 1, 1], [1, 2], [1, 1, 1, 1], [1, 2], [2, 3], [3, 4], [8], [9]]})
Propositional logic formula