The VAMOS documentation is at https://vamos-optimization.org/.