search

karmaresearch / vlog

Apache License 2.0
55 stars 9 forks source link

RMSA classification issue 3 #90

Closed irina-dragoste closed 2 years ago

irina-dragoste commented 2 years ago

For the rule set

R(X,Y), C(Y) :- C(X)
R(Y,X) :- R(X,Y)

and empty edb.conf, the command

vlog cycles --alg RMSA --rules rules -e edb.conf does not classifies this rule-set as RMSA, but it should : image image

CerielJacobs commented 2 years ago

Seems fixed