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: Sokoban solver

Retourner au contenu associé (journal : Sokoban solver)

  • # Re: Sokoban solver

    Posté par Antoine Reilles le 13 février 2004 à 14:13. En réponse au journal Sokoban solver. Évalué à 1.

    Tu peux le réécrire en Coq, ce solveur de sokoban ?
    http://pauillac.inria.fr/pipermail/coq-club/2003/001021.html(...)

Revenir en haut de page

Derniers commentaires

  • Re: Instruction à domicile
  • Re: Instruction à domicile
  • Re: Instruction à domicile
  • Re: Instruction à domicile
  • Re: Instruction à domicile
  • Re: Anecdotique, au mieux
  • Re: j'ai fait le contraire
  • Re: Instruction à domicile
  • Re: Instruction à domicile
  • Re: Instruction à domicile
  • Re: Instruction à domicile
  • Re: Dredi

Étiquettes (tags) populaires

  • intelligence_artificielle
  • le_monde_diplomatique
  • merdification
  • grands_modèles_de_langage
  • états-unis
  • canicule
  • capitalisme
  • réchauffement_climatique
  • datacenter
  • logiciel_libre
  • france
  • administration_française

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 によって変換されたページ (->オリジナル) /