Model count is returned as "-nan" on compiled d-DNNFs. #4
Description
On some weighted CNFs, WAPS is able to compile a d-DNNF and provide samples but returns
"-nan" for the model count.
I have attached a wCNF on which I observed this behavior.
{{ message }}