Octant est une implémentation permformante de Datalog capable de contrôler les règles de conformité d’architecture dans un cloud OpenStack. Elle s’appuie sur le prouveur de théorème automatique Z3 de Microsoft pour le moteur Datalog et offre l’accès aux tables principales du Neutron et Nova (et peut s’appliquer aux réseaux, ports, security-groups, routeurs, serveurs).
Le code, y compris la documentation, est disponible sur notre GitHub Orange-Opensource sous la licence Apache 2.0.