Pass entire int array to picosat_add_lits once, in AddClauses()