Model count is returned as "-nan" on compiled d-DNNFs.

meelgroup / WAPS

A state of the art Weighted and Projected Sampler

MIT License

6 stars 0 forks source link

Open yashpote opened 4 years ago

yashpote commented 4 years ago

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.