When clicking on the [documentation link on github](https://hdavid16.github.io/DisjunctiveProgramming.jl/stable/), you get a 404.