search

potassco / plingo

🍀 A system for probabilistic reasoning in clingo
MIT License
15 stars 2 forks source link

Determine whether weak constraint weights need to be multiplied by factor 10^n #8

Open nrueh opened 2 years ago

nrueh commented 2 years ago

Store weak constraints (or only their weights) in a list and determine in the end if necessary to multiply by factor 10^n. This is necessary if some or all weights cannot be represented as integers