search

damianoazzolini / pasta

Tool to perform various types of inference in probabilistic answer set programs under the credal semantics and with statistical statements.
GNU General Public License v3.0
7 stars 4 forks source link

Index out of range error #15

Closed damianoazzolini closed 1 year ago

damianoazzolini commented 1 year ago

This program causes an index of out range error

0.3::a.
0.3::b.
qr:- a.
c:- not c.
damianoazzolini commented 1 year ago

Fixed with 2cfb8cf