GitHub repository: jzhang919/py-aiger-coins
Primary language: Python
Description: Library for creating circuits that encode discrete distributions. The name comes from the random bit model of drawing from discrete distributions using coin flips.