The following package includes a prototype of the tool and the benchmarks presented in our SPIN'13 paper (for Linux x86):
CORK 0.1 (released: 02/July/2013)
Related projects: PSyCO (Precondition synthesis).
Cork is the bark of the cork oak, which is a tree that grows in Mediterranean regions, and namely in Portugal. The cork oak tree lives for about 200 years, and its cork is used in a variety of industries.