PanLinx
русский
rus-000
задача выполнимости
English
eng-000
satisfiability problem
PanLex