[mturmon]

This reminds me of `PrSAT`, a satisfier for probabilistic statements. ("Does a distribution exist that satisfies the following constraints?").

See: https://fitelson.org/PrSAT/, and the linked paper: https://fitelson.org/pm.pdf

The paper starts off slow, but have patience to read up to section 4, Applications, which is kind of surprising.

[usgroup]

Thanks for this reference; I found this paper interesting, but it is a satisfiability solver. Inherently it cannot quantify the probability of a subset of events, but it can find a probability assignment given a set of constraints. I.e. prove possibility. More usefully it can show that no such assignment is possible.