Haskell implementation of the Successive Variable Elimination algorithm - View it on GitHub