hzitoun

This image contains the following tools : frenetic and mininet. The password is frenetic.

Docker image with the following SMT Solvers : CVC4, Z3,Mathsat. Colibri is also included.

Ubuntu 16.04 LLVM 4 and dev tools GNUStep, allow to compile and execute Objective-C on ubuntu