首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > 其他 > 欧盟项目inf242 ujf格勒诺布尔(2013年)

欧盟项目inf242 ujf格勒诺布尔(2013年)

  • 资源大小:12.49 kB
  • 上传时间:2021-06-30
  • 下载次数:0次
  • 浏览次数:1次
  • 资源积分:1积分
  • 标      签: 项目 欧盟

资 源 简 介

Principe Général Un plateau de jeu de squaro vierge ressemble à ceci : O---O---O---O | 3 | 2 | 2 | O---O---O---O | 2 | 1 | 1 | O---O---O---O | 1 | 0 | 1 | O---O---O---O C"est une grille de taille n², ou chaque case contient un nombre compris entre 0 et 4 (inclus). Ce nombre entier désigne le nombre de coins de la cases (modélisés ici par des O) qui devrons être noircis à l"état final. Si on représente les coins (appelés pixels par la suite) noirs par "@" et les pixels blancs par "O", on aura pour cette grille à l"état final l"exemple suivant : @---O---@---@ | 3 | 2 | 2 | @---@---O---O | 2 | 1 | 1 | O---O---O---@ | 1 | 0 | 1 | @---O---O---O Présentation du projet Le coeur du projet est de créer un programme capable de résoudre une grille de Squaro, en utilisant des éléments de logique propositionnelle. Pour ce faire, les fonctionnalit

文 件 列 表

squaro_v1.0_src
bin
src
case2.sat
lib
Makefile
README.txt
squaro.sh
bin
src
case1.sat~

相 关 资 源

您 可 能 感 兴 趣 的

同 类 别 推 荐

VIP VIP