search

karmaresearch / vlog

Apache License 2.0
55 stars 9 forks source link

Missing RMFC classification P(Y,Z) :- P(X,Y) #80

Closed irina-dragoste closed 2 years ago

irina-dragoste commented 3 years ago

With rules

P(Y,Z) :- P(X,Y)

and empty edb.conf, the command

vlog cycles --alg RMFC --rules rules -e edb.conf

Returns INCONCLUSIVE result, but this ruleset should be RMFC.

irina-dragoste commented 3 years ago

image

CerielJacobs commented 2 years ago

Apparently, this also fixes issue #81.