PanLinx
русский
rus-000
обобщённо разрешимый
English
eng-000
generally solvable
PanLex