Probabilistic logic version of CellNOpt (derived from FALCON) - View it on GitHub