The ScalaFix equation solver

This artifact is a docker image containing both ScalaFix, the fixpoint library, and ScalaFixExample, the collection of all
the examples and benchmarks shown in the paper. Both the source code and compiled bytecode are provided. Moreover, the image contains all the libraries, compilers and tools needed to execute examples and benchmarks, which may be eventually modified and recompiled if desired.