Merge branch 'default-solver-id-none' into 'master'

CodeBuilder.assign_solved_1: Add a default argument of None to

See merge request !14