https://github.com/lambdacasserole/haha-box

A Vagrant box with the Hoare Advanced Homework Assistant (HAHA) all set up and ready to go.
https://github.com/lambdacasserole/haha-box

haha hoare-logic ubuntu ubuntu-bionic vagrant vagrant-box vagrantfile virtual-machine virtualbox

Last synced: 3 days ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/lambdacasserole/haha-box
• Owner: lambdacasserole
• License: mit
• Created: 2019-09-04T23:47:23.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2019-09-05T22:58:26.000Z (over 5 years ago)
• Last Synced: 2024-11-01T09:28:34.753Z (about 2 months ago)
• Topics: haha, hoare-logic, ubuntu, ubuntu-bionic, vagrant, vagrant-box, vagrantfile, virtual-machine, virtualbox
• Language: Ruby
• Size: 15.6 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# HAHA Box (Ubuntu 18.04 Bionic Beaver)

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

![Logo](assets/logo.svg)

## Prerequisites

You'll need [Oracle VM VirtualBox](https://www.virtualbox.org/wiki/Downloads) installed as well as [Vagrant](https://www.vagrantup.com/downloads.html).

### Plugins

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

```bash

vagrant plugin install vagrant-reload

```

## Setup

Like any Vagrant box, run:

```bash

vagrant up

```

From there, use:

```bash

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 \[[^](https://github.com/Z3Prover/z3)\]

* Hoare Advanced Homework Assistant 0.56 \[[^](http://haha.mimuw.edu.pl/)\]