Merge branch 'development' into 'master'

Merge branch development into master (v1.0.2)

See merge request !41
7 jobs for master in 18 minutes and 9 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed prepare #1774741
docker

00:00:56

 
  Test
passed lint #1774745
docker

00:01:22

passed test-prerequisites #1774742
docker

00:03:57

passed unittest-gurobi #1774743
docker

00:04:57

passed unittest-scip #1774744
docker

00:09:57

 
  Deploy
canceled doc #1774925

00:07:14

failed doc #1774746

00:08:14