Retourner au contenu associé (journal : Letlang, encore un nouveau langage de programmation)
Posté par David Delassus (site web personnel) le 07 janvier 2022 à 19:10. En réponse au journal Letlang, encore un nouveau langage de programmation. Évalué à 1.
Sans être méga lourd, je sais pas.
J'avoue qu'à part des solveurs SAT/SMT pour résoudre des Sudokus ou autre problèmes du genre, j'y connais pas grand chose.
J'ai réuni un ensemble de papier de recherche sur le sujet que je dois encore lire pour vraiment me faire une idée des possibilités et limitations.
https://link-society.com - https://kubirds.com - https://github.com/link-society/flowg
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Contraintes
Posté par David Delassus (site web personnel) . En réponse au journal Letlang, encore un nouveau langage de programmation. Évalué à 1.
Sans être méga lourd, je sais pas.
J'avoue qu'à part des solveurs SAT/SMT pour résoudre des Sudokus ou autre problèmes du genre, j'y connais pas grand chose.
J'ai réuni un ensemble de papier de recherche sur le sujet que je dois encore lire pour vraiment me faire une idée des possibilités et limitations.
https://link-society.com - https://kubirds.com - https://github.com/link-society/flowg