This library is developed to perform efficient and exact computation of Dempster's and Fagin-Halpern conditionals (DS-Conditional-One and DS-Conditional-All in C++) ...
Add a description, image, and links to the decompose-conditional topic page so that developers can more easily learn about it.