CP Support does not work well with division

[Bart Bogaerts]

See file. Problem probably becuase there is an equality =[float,float] which causes a missing function check

I suspect a bad combination of unnestterms and the grounderfactory, where the grounderfactory incorrectly creates an atomgrounder instead of unnesting terms, or rewriting division to multiplication.

[Joachim Jansen]

Merged in cp-division (pull request #320)

Improved CP support Fixes #823

→ <<cset 7e366b72184d>>