lambdacasserole / haha-box

A Vagrant box with the Hoare Advanced Homework Assistant (HAHA) all set up and ready to go.

HAHA Box (Ubuntu 18.04 Bionic Beaver)

A Vagrant box with the Hoare Advanced Homework Assistant (HAHA) all set up and ready to go.

Prerequisites

You'll need Oracle VM VirtualBox installed as well as Vagrant.

Plugins

You'll need the vagrant-reload plugin because the box needs a restart after provisioning. Install it like this:

vagrant plugin install vagrant-reload

Setup

Like any Vagrant box, run:

vagrant up

From there, use:

vagrant ssh

To access the box over SSH.

Details

The box is running Ubuntu "Bionic Beaver" 18.04 LTS (Desktop) with:

• Gnome 3 Desktop
• VirtualBox Guest Additions 6.0.4
• Microsoft Z3 Theorem Prover 4.8.5 [^]
• Hoare Advanced Homework Assistant 0.56 [^]