Merge branch 'master' into 'development'

developments based on v1.0.2

See merge request !43
5 jobs for development in 9 minutes and 25 seconds (queued for 10 seconds)
Status Name Job ID Coverage
  Build
passed prepare #1820117
docker

00:00:36

 
  Test
passed lint #1820121
docker

00:00:40

passed test-prerequisites #1820118
docker

00:03:08

passed unittest-gurobi #1820119
docker

00:04:14

passed unittest-scip #1820120
docker

00:08:48