SAT 22 Artifact VM - Ubuntu 20.04 LTS

This is a virtual machine (VM) with a GNU/Linux installation, based on Ubuntu 20.04.

The framework BSaLTic presented in the paper: "Bounded Model Checking in Calm Waters with BSaLTic" is already in place in the VM.

This VM setup is heavily based on the TACAS22 artifact evaluations.