Explore projects

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.

This repository is NOT MAINTAINED anymore. Please use the public github repository: https://github.com/idefix-code/idefix

A CEGAR-based solver for maximum model counting

Fichiers sources pour les projets de robotique autour de RobAIR https://github.com/fabMSTICLig/RobAIR dans le cadre des cours d'Olivier Aycard https://lig-membres.imag.fr/aycard/index.php?&slt=enseignement

Tutorial: Albert's example

Path Analysis for the Generation of Numeric Invariants. Project hosted at VERIMAG for the development of static analysis techniques.

This CEP contains libraries to convert CamiTK objects in CepCoreSchema objects.

Update Camitk Extension Project description .ced