Yes, there was an issue with someone nuking the compiler box, and we're working on fixing the demo up.

This does more than LPs, it lets you formulate GPs, which are a way of doing non-linear analytical optimization. See here for more: https://gpkit.readthedocs.io/en/latest/gp101.html#what-is-a-...