https://profilpelajar.com/en/Weighted_model_counting