Fiche non validée
Les informations de cette fiche proviennent de sources publiques et n'ont pas encore été validées par l'éditeur. Si vous constatez une erreur, veuillez nous la signaler.
Hexaly
Par HEXALY
Suite logicielle de solveur mathématique pour trouver des solutions optimales sous contraintes.
Description
Suite logicielle de Solveur mathǸmatique (pour trouver une solution optimale malgrǸ des contraintes)
Éditeur / Prestataire
- Entreprise
- HEXALY
- SIREN
- 499282143
- Code NAF
- 58.29C - Edition de logiciels applicatifs
- Site web
- hexaly.com/
Souveraineté
Solutions similaires
Hexaly Optimizer
Par HEXALY
Hexaly Optimizer est un solveur d'optimisation hybride combinant des techniques exactes et heuristiques pour résoudre de...
Alt-Ergo Theorem Prover
Par OCAMLPRO
Alt-Ergo est un solveur SMT (Satisfiability Modulo Theories) automatique conçu pour la vérification de logiciels. Il pro...
Kili
Par KILI TECHNOLOGY
Plateforme fournissant données et feedback humain pour optimiser la performance des modèles de langage (LLM).
AMPL
Par ARTELYS
AMPL est un langage de modélisation algébrique pour la programmation mathématique, permettant de formuler et résoudre de...
FICO Xpress
Par ARTELYS
FICO Xpress Optimization est une suite logicielle d'optimisation mathématique permettant de résoudre des problèmes linéa...
TrustInSoft Analyzer
Par TRUSTINSOFT
TrustInSoft Analyzer est un outil d'analyse statique exhaustive basé sur des méthodes formelles pour détecter et élimine...