Aller au contenu Aller au menu
  • Dépêches
  • Journaux
  • Liens
  • Forums
  • Rédaction
  • 🎙️ Projets Libres

LinuxFr.org

Se connecter

Proposer un contenu

  • Pas de compte ? S’inscrire...

Re: Formulation formelle

Retourner au contenu associé (entrée de forum : programme et algo de tri)

  • [^] # Re: Formulation formelle

    Posté par Marc Quinton le 21 juin 2025 à 17:15. En réponse au message programme et algo de tri. Évalué à 6. Dernière modification le 21 juin 2025 à 17:19.

    open-source constraints solver ?
    - https://www.minizinc.org/
    - https://choco-solver.org/

    il y a fort longtemps, j'avais expérimenté avec "Turbo-Prolog" ; tu donnais des indications sur un input et un résultat attendu ; ensuite le logiciel se débrouillait pour trouver une solution.

Revenir en haut de page

Derniers commentaires

  • Re: L’expression de l’intériorité
  • Re: Ça date...
  • Plutôt un journal, non ?
  • Re: Surveiller les parents
  • Re: Surveiller les parents
  • Calibre ou inventaire
  • Re: Ca fait vraiment peur
  • Re: L’expression de l’intériorité
  • Re: plop
  • Dense ?
  • Tellico
  • Re: Pensée systémique.

Étiquettes (tags) populaires

  • intelligence_artificielle
  • grands_modèles_de_langage
  • merdification
  • hugging_face
  • états-unis
  • jihad_butlérien
  • linux
  • slop
  • administration_française
  • capitalisme
  • openai
  • startup_nation

Sites amis

  • Agenda du Libre
  • April
  • Éditions D-BookeR
  • Éditions Diamond
  • Éditions Eyrolles
  • Éditions ENI
  • En Vente Libre
  • Framasoft
  • La Quadrature du Net
  • Lea-Linux
  • Open Source Initiative
  • Imprimerie Grafik Plus

À propos de LinuxFr.org

  • Mentions légales
  • Faire un don
  • L’équipe de LinuxFr.org
  • Informations sur le site
  • Aide / Foire aux questions
  • Suivi des suggestions et bogues
  • Wiki du site
  • Règles de modération
  • Statistiques
  • API pour le développement
  • Code source du site
  • Plan du site

AltStyle によって変換されたページ (->オリジナル) /