See BlackBox and OpenBUGS licenses