search

VerifiableRobotics / LTLMoPWeb3D

A website for Cornell's Autonomous Systems Lab to essentially have LTLMoP available in 3D and online
https://ltlmop.herokuapp.com/
Other
3 stars 1 forks source link

Optimize LTLMoP Docker baseimage #53

Closed agilgur5 closed 8 years ago

agilgur5 commented 8 years ago

Try using the --no-install-recommends flag of apt-get install and make sure things work after.

agilgur5 commented 8 years ago

Down to 257 MB, not bad at all :+1: