PyLogical
