Explore projects

Provides the user with the state machine to execute CamiTK-Action, CamiTK-Component, visualization.

Computer Assisted Medical Intervention Tool Kit (CamiTK) helps researchers and clinicians to easily and rapidly collaborate in order to prototype CAMI applications, that feature medical images, surgical navigation and biomechanical simulations.

A CEGAR-based solver for maximum model counting