Why are there two sets of evaluation functions?

Open andrejbauer opened this issue 12 years ago • 0 comments

Why do we have eval functions in eval.ml as well as in first_order.ml?

Oct 20 '13 07:10 andrejbauer