Deploying to gh-pages from @ 2d74970 🚀

Deploying to gh-pages from @ 480250e 🚀

packaging of linux/osx products is now tgz.

use the correctly implemented ltlsolve primitive rather than mess up

Deploying to gh-pages from @ 6a13ba2 🚀

Deploying to gh-pages from @ a12f0bd 🚀