Software development toolkit of libraries for CNC simulation and verification, providing material removal, collision detection and full machine simulation, built on a fast polygonal Boolean engine. It is embedded by CAD/CAM, CNC controller and machine tool vendors.