metalpod is a meta-programming and saturation based approach to solve
Logic Programs with Ordered Disjunctions. It is based on
metasp.
traod is a parser for Logic Programs with Ordered Disjunctions and translates
them into logic programs, which can be handled by metalpod or
asprin.