put MiniSat back first -- Torlak's eval seemed to suggest that Crypto and Lingeling were better, but Crypto is slower on "Nitpick_Examples" and Crypto crashes
theory Probability
imports
Complete_Measure
Probability_Measure
Infinite_Product_Measure
Independent_Family
Conditional_Probability
Information
"ex/Dining_Cryptographers"
"ex/Koepf_Duermuth_Countermeasure"
begin
end