For my bachellor's thesis I developed and verified an octogonal constraints solver for the FORVES2 project. The code for the solver can be found in FORVES2's github. I also recorded the presentation of my thesis, the video is available on Youtube.