A library for Venn Machine