Concatenate two memmapped numpy arrays of different sizes together (Python)?

Question

I\'m currently trying to use pysat to solve some k-colorability problems I have. The problem I\'m having is a have a CNF formula (a list of lists) of the form: