search

NTU-ALComLab / ssatABC

Stochastic SAT solver within ABC
Other
5 stars 2 forks source link

Increased precision for probabilities close to 0 ? #23

Open symphorien opened 2 years ago

symphorien commented 2 years ago

I am trying to use ssatABC on formulas with very low probablities and then make a quotient between them. For example the attached formula is expected to have a probability of about 2^-62 so ssatABC reports:

  > Satisfying probability: 0.000000e+00

but that leads me to do divisions of the form 0/0 which fails. Is there a way to get an increase precision? foo.sdimacs.txt

nianzelee commented 2 years ago

No. The tool is written in C and uses float to store probabilities.