constraint engine for LLMs

or
Signing in...