Implement adaptive LP decoder using gurobi (inefficient)
Some fixes (mainly documentation)