- Initial commit.
- Implemented BoundedShortestPaths
- Added definition for (Z,+,*) and (N,+,*)
- Implementation of product operators
- Initial commit.
> Implementation of the Billings&Griffin and Alim&Griffin papers structures (Semimodules and Mapping Matrices)
> Direct product
> Lexicographic products (left and right)
> Scoped product (incomplete implementation)
> Dijkstra and Bellman algorithms
>> Left (Single-Source Shortest-Path, SSSP)
>> Right (All-Sources Shortest-Path, ASSP)
>> Non-distributive cases (contruction of consistent, loop-free forwarding tables)
> Cleanup
> Cleanup
>> Removed obsolete files references from git
>> Replaced references to Forwarding package by Mapping
- Long due commit.
- Preparing for github.
- Stuff done.
- Prepare for github.
- Implementing Semimodules.
- Commit for merging.
- Cabal package stuff.
Add 'haskell/' from commit '67860e56815446b8b99153d43bb57adf864efb39'

git-subtree-dir: haskell
git-subtree-mainline: 839141b435d43eb3d26daca6f2c0db0877df8bbb
git-subtree-split: 67860e56815446b8b99153d43bb57adf864efb39
Add 'python/' from commit '31873f80a9f4bf5c549d87b2834b5c960a47c51c'

git-subtree-dir: python
git-subtree-mainline: 8c9c1bb88e8654d352d66f92c903323a737cdf26
git-subtree-split: 31873f80a9f4bf5c549d87b2834b5c960a47c51c