Octagon.v.
For my Computer Science bachellor's thesis at UCM 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.