Replication package for "ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification"

The artifact is a Docker image that contains all of the source code, benchmarks, and experiment harnesses used in the development of the paper (set-up and ready to run). The README contains instructions to reproduce results from the paper, as well as pointers for how to use, extend or modify the tool and benchmarks.