PanLinx
Esperanto
epo-000
plenumebloproblemo
English
eng-000
satisfiability problem
PanLex