feat(lp): add lp skeleton

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
fix(lp): bug in sparse_matrix

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
test(sparse_matrix): improve sparse_matrix tests

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
chore(lp): adjust style

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
fix(lp): adjust style

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
fix(lp): compilation errors with new build

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
refactor(lp): move lp to util

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
feat(util/lp): adding convenient access operators

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
chore(util/lp): code style

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
chore(ulil/lp): coding style

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
test(util/lp): adding a test for measuring the matrix access operator performance

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
feat(lp): add overload for operator = in the class sparse_matrix::ref

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(lp): add operator []

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(lp): fix sparse_matrix::ref::operator=

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(util/lp):transferring simplex device to another machine

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
feat(util/lp):transferring simplex device to another machine

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>