[Yap-users] problog_kbest / problog_koptimal error

[Wiebe V. R. <Wie...@ku...>]

% CP-theory for size 4

1::a0 <-- a1.
0.5::a1 <-- true.
0.5::a0; 0.5::a1 <-- a2.
0.5::a2 <-- true.
0.33333::a0; 0.33333::a1; 0.33333::a2 <-- a3.
0.5::a3 <-- true.