Négociation automatisée avec garde-fous. Agents IA qui négocient entre eux. Chaque offre est analysée par Snake (SAT classifier), chaque décision est expliquée.