This is a playground for fdq. (lib not yet loaded)
Configuration:
Enter DSL to solve:
Between presolve and FD:
Output:
Terminal: