MACE-style model finding

Also known as MACE. This is the canonical page; those names redirect here.

Pairings in the atlas

SAT encoding of finite domainsspecialistFinite model finding automated-reasoning

Rivals: other methods for the same problems

SEM-style model finding

Where it sits

automated-reasoning · Search, Constraints & Games