# SOGA
This is the replication package for the paper "Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures"


## Contents
- soga_docker.tar.gz contains the docker image of SOGA
- soga_code.tar.gz contains the SOGA source code


## Requirements
- For running this package a valid docker (https://docs.docker.com/engine/install/) installation is required with version >=24.0.6. 
- For compatibility issues with the external tools used for the evaluation, the image is based on x86_64 architecture


## Reproducibility


- The provided docker images can be loaded in two ways: A) using the one provided in this package and B) using the one stored on Dockerhub. To load the images provided in this package, download it and issue the following command:
  
  docker load --input soga_docker.tar.gz
  
- In both cases, A  or B, for creating the container issue:
  
  docker container create -i -t --name SOGA bistrulli/soga:0.1
  docker container start SOGA
  docker attach SOGA


- The detailed instructions for reproducing the paper results are reported in the README.md file within the docker image