Constraint inference — Glossary — ThinkLLM