[skip CI] fix dockerfile. No need to start CI again.
@@ -12,7 +12,7 @@ RUN apt update && apt install -y -qq \
libboost-timer-dev \
libboost-chrono-dev \
libgmp-dev \
- libsuitesparse
+ libsuitesparse \
lp-solve \
liblpsolve55-dev \
libhdf5-dev \
