XDP. Semiring Dynamic Programming Library For PADL
SymbolicDebugger. An automatic debugger based on symbolic logic
MPL. Haskell
