Towards a fully automated 3D printability checker
constraint logic programming : a survey .