AllSAT

That could work, although remember that the whole point of using a generator is to not compute all models (of which there might be exponentially many) unless you explicitly ask for all of them.