LANXAS AI ONELANXAS AI WhiteLANXAS AI BlueLANXAS AI BlackLANXAS Code
Logiciels
LANXAS Meet LANXAS Chat
Étudiant Formation Business Jeux Bibliothèque Boutique Support technique

Société

InvestisseursConfidentialité chez LanxasEmploi

Développeur et IT

Développeur LanxasLanxas Tech CommunityLanxas Power PlatformLanxas Marketplace

Éducation

Calculatrice & solveurAtelier de fichiers Lanxas LearnLanxas MathLanxas pour les étudiantsLanxas Planning

Lanxas Store

Centre de téléchargementSupport technique

Entreprises

Lanxas CashLanxas StockLanxas CareLanxas BuildLanxas TradeLanxas Legal
Optimisation sous contraintes · version 1.3.0

ENGINE

Le moteur d’optimisation sous contraintes de LANXAS : planification, affectation de personnel, emplois du temps, allocation de ressources. Il résout, explique le résultat, propose des réparations quand c’est infaisable et simule vos scénarios.

Quatre opérations

La troisième est celle qu’aucun solveur généraliste ne fournit.

solve

Résoudre

Contraintes dures et souples pondérées, objectif min/max. Les solutions sont rendues triées par score.

explain

Expliquer

Chaque violation est rattachée à sa contrainte, son expression et les valeurs en cause. Pas un score : un motif.

repair

Réparer

Quand aucun planning n’est possible, le moteur propose les assouplissements les moins coûteux, classés, avec une solution d’exemple.

simulate

Simuler

Le même modèle rejoué sous plusieurs scénarios : effectifs, règles désactivées, objectif modifié.

54 msoptimum prouvé, affectation 20 × 60
135tests automatisés, tous réussis
91 %couverture de code mesurée
0dépendance pour le cœur du moteur

Pourquoi il est différent

  • Démonstration en direct : le moteur se teste dans votre navigateur, chiffres calculés devant vous — voir la démo.
  • Déterminisme vérifié : mêmes entrées, mêmes résultats — propriété couverte par notre suite de tests automatisés (135 tests, couverture mesurée de 91 %, version 1.3.0).
  • Explicabilité native : le moteur justifie ses résultats et détaille les violations, contrainte par contrainte.
  • Zéro dépendance imposée : le cœur fonctionne seul, en Python pur, entièrement hors ligne.
  • Passage à l’échelle : backend accéléré intégré (CP-SAT et GLOP, licence libre Apache 2.0) — mesuré le 06/09/2026 : problème linéaire de 100 000 variables optimal en 16 s, affectation 20 × 60 à l’optimum prouvé en 54 ms.
  • Souveraineté : conçu en France, déployable 100 % en local, données chez vous.
Conçu, développé et hébergé en France · déploiement 100 % local possible · données en France · RGPD

Tarifs — un volume exact, un prix exact

Le prix dépend de la taille de vos problèmes. Une variable, c’est une décision à prendre : un créneau à pourvoir, un point de livraison à ordonner, une opération à séquencer. Le palier retenu est celui immédiatement supérieur à votre volume.

Variables par problème Prix HT / an Exemple d’usage Commander
100 1 990 € petite équipe, un site
250 2 990 € une agence, un atelier
500 3 490 € tournées de 450 points
1 000 4 490 € 30 salariés × 20 jours
1 500 le plus choisi 4 990 € service en continu, 12 postes
2 500 5 990 € multi-sites
5 000 7 990 € 240 salles × 15 créneaux
10 000 9 990 € réseau régional
25 000 13 990 € groupe multi-entités
50 000 17 490 € déploiement national
100 000 22 490 € très grand compte
au-delà de 100 000 sur devis très grand compte, déploiement linéaire Demander un devis

Abonnement annuel reconduit, correctifs et versions mineures inclus. Prix hors taxes, TVA 20 % applicable en France. Paiement sécurisé par Stripe — téléchargement immédiat après paiement. Résiliable à tout moment depuis votre espace client.

Options

Moteur accéléré CP-SAT — problèmes combinatoires lourds+ 40 %
Backend linéaire LP/MIP — jusqu’à 500 000 variables+ 60 %
Support prioritaire — réponse sous 4 h ouvrées+ 20 %
Atelier de modélisation de vos règles métier — 2 jours4 500 €
Formation développeurs — 1 journée, jusqu’à 8 personnes1 800 €

Éditions particulières

Community

0 €

Évaluation, développement, recherche

  • 200 variables par problème
  • Moteur complet, API et ligne de commande
  • Usage commercial non autorisé
Demander l’accès →

Académique

0 €

Enseignement et recherche fondamentale

  • 5 000 variables par problème
  • Moteur natif et CP-SAT
  • Renouvelable, contre citation dans vos travaux
Demander une licence →

OEM / Intégrateur

Sur devis

Éditeurs intégrant ENGINE dans leur produit

  • Droit d’intégration dans un produit désigné
  • Minimum garanti annuel et redevance
  • Licence d’évaluation et de R&D offerte
Nous contacter →

Comment fonctionne la licence

Le logiciel livré est identique pour tous. Un fichier de licence signé fixe votre périmètre : plafond de variables et de contraintes, moteurs autorisés, échéance, et la machine sur laquelle il s’exécute.

Relevez l’empreinte de votre serveur avec lanxas-engine hostid, transmettez-la depuis votre espace client, et vous recevez une licence liée à cette machine — le modèle en vigueur chez les éditeurs de solveurs.

Aucune activation en ligne, aucun appel vers nos serveurs, aucune télémétrie : l’empreinte se calcule localement. Le moteur fonctionne entièrement hors ligne, sur votre infrastructure, avec vos données qui ne sortent jamais de chez vous.

Un problème dépassant votre plafond reçoit une erreur explicite, jamais un ralentissement silencieux. Pour ajouter un serveur, l’empreinte se relève en une commande.

$ lanxas-engine hostid
hostname : srv-prod-01
hostid   : 663024137b3d

$ curl http://localhost:8080/health
{
  "product": "lanxas-engine",
  "version": "1.3.0",
  "license": {
    "edition": "Business",
    "type": "NODE",
    "customer": "ACME SAS",
    "hostid": "663024137b3d",
    "max_variables": 1500,
    "expires": "2027-09-11",
    "days_remaining": 365
  }
}

Essayez avant d’acheter

Le moteur tourne dans votre navigateur, sur vos propres données, sans inscription.