PanLinx
čeština
ces-000
algoritmus větev a hranic
PanLex