AllSAT

This should be spelled `all_models` or `allmodels`.