| layout | default |
|---|---|
| title | 404 Not Found |
Sorry! The server can't find that page.
Please consider trying to find what you need from [the home page][home].
If you think something might be broken, please send an email to [webmaster][].
[home]: {{ site.base }}/ [webmaster]: mailto:our-group-webmaster@dept.example.edu
<script> // Redirects for external pages, such as solver websites var path = window.location.pathname; var stripped_path = path.toLowerCase().replace(/\/$/, '') if (path !== '/Marble/' && stripped_path === '/marble') { window.location.replace('/Marble/'); } if (path !== '/Altro.jl/' && (stripped_path === '/altro' || stripped_path === '/altro.jl')) { window.location.replace('/Altro.jl/') } if (path !== `/PinnZoo/build/index.html` && (stripped_path === '/pinnzoo' || stripped_path === '/pinnzoo.jl')) { window.location.replace('/PinnZoo/build/index.html') } </script>