search

friguzzi / cplint

cplint is a suite of programs for reasoning with probabilistic logic programs
Other
67 stars 14 forks source link

?:: operator #51

Open friguzzi opened 10 months ago

friguzzi commented 10 months ago

pita defines ?:: as an operator but if one uses it instead of ? :: dt_solve does not work. I would remove ?:: as on operator