potassco / plingo

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

weak constraint weight is inverted in plingo mode #9

Closed nrueh closed 2 years ago