[FEDERATION] error SATISFIABILITY_ERROR when check the schema about lighthouse HOT 2 CLOSED

Please share your solution, it is common courtesy to do so when you previously asked for help

from lighthouse.

After I used, php artisan -W --federation lighthouse:print-schema worked.
I didn't find in the documentation that part with --federation or I somehow missed that.

In that way the schema generate by library contains also @key, @extend and @external directives.

**print-schema**

php artisan lighthouse:print-schema
This can be quite useful, as the root .graphql files do not necessarily contains the whole schema. Schema imports, native PHP types and schema manipulation may influence the final schema.

Use the -W / --write option to output the schema to the default file storage (usually storage/app) as lighthouse-schema.graphql.

You can output your schema in JSON format by using the --json flag

This is in documentation, I think you can add also --federation

I found it in the code:

from lighthouse.