AllSAT

Why is this interface here? It seems confusing.