There are also the classic math formulations, too. When you first hit the page you’ll see a message that your solver is currently empty. There’s a sidebar on the left and a search box.