I agree with Parasolid being the best geometry kernel out there! (It's quite expensive though, around $60k per year + revenue share)