文件名称:ok
介绍说明－－下载内容均来自于网络，请自行研究使用
一个过河游戏的简单例子，描述：将猫和狗还有老鼠运送到河对岸，要求，一次只能携带一只动物，且猫和老鼠不能共存，猫和狗也不能共存。使用最少的步骤完成-A simple example of the game across the river to describe: The cats and dogs are transported to the side of the river rats, the requirements can only carry one animal, and Tom and Jerry can not coexist, cats and dogs can not coexist. Using the minimum steps to complete
(系统自动生成,下载前可以参看下载内容)
下载文件列表
ok\db\ok.asm.qmsg
..\..\ok.asm_labs.ddb
..\..\ok.cbx.xml
..\..\ok.cmp.cdb
..\..\ok.cmp.hdb
..\..\ok.cmp.kpt
..\..\ok.cmp.logdb
..\..\ok.cmp.rdb
..\..\ok.cmp.tdb
..\..\ok.cmp0.ddb
..\..\ok.db_info
..\..\ok.eco.cdb
..\..\ok.eds_overflow
..\..\ok.fit.qmsg
..\..\ok.hier_info
..\..\ok.hif
..\..\ok.lpc.html
..\..\ok.lpc.rdb
..\..\ok.lpc.txt
..\..\ok.map.cdb
..\..\ok.map.hdb
..\..\ok.map.logdb
..\..\ok.map.qmsg
..\..\ok.pre_map.cdb
..\..\ok.pre_map.hdb
..\..\ok.rtlv.hdb
..\..\ok.rtlv_sg.cdb
..\..\ok.rtlv_sg_swap.cdb
..\..\ok.sgdiff.cdb
..\..\ok.sgdiff.hdb
..\..\ok.sim.cvwf
..\..\ok.sim.hdb
..\..\ok.sim.qmsg
..\..\ok.sim.rdb
..\..\ok.sld_design_entry.sci
..\..\ok.sld_design_entry_dsc.sci
..\..\ok.syn_hier_info
..\..\ok.tan.qmsg
..\..\ok.tis_db_list.ddb
..\..\ok.tmw_info
..\..\prev_cmp_ok.asm.qmsg
..\..\prev_cmp_ok.fit.qmsg
..\..\prev_cmp_ok.map.qmsg
..\..\prev_cmp_ok.qmsg
..\..\prev_cmp_ok.sim.qmsg
..\..\prev_cmp_ok.tan.qmsg
..\..\wed.wsf
..\display.vhd
..\incremental_db\compiled_partitions\ok.root_partition.map.kpt
..\..............\README
..\kongzhi.vhd
..\ok.asm.rpt
..\ok.done
..\ok.dpf
..\ok.fit.rpt
..\ok.fit.smsg
..\ok.fit.summary
..\ok.flow.rpt
..\ok.map.rpt
..\ok.map.summary
..\ok.pin
..\ok.pof
..\ok.qpf
..\ok.qsf
..\ok.qws
..\ok.sim.rpt
..\ok.tan.rpt
..\ok.tan.summary
..\ok.vhd
..\ok.vhd.bak
..\ok.vwf
..\incremental_db\compiled_partitions
..\db
..\incremental_db
ok
..\..\ok.asm_labs.ddb
..\..\ok.cbx.xml
..\..\ok.cmp.cdb
..\..\ok.cmp.hdb
..\..\ok.cmp.kpt
..\..\ok.cmp.logdb
..\..\ok.cmp.rdb
..\..\ok.cmp.tdb
..\..\ok.cmp0.ddb
..\..\ok.db_info
..\..\ok.eco.cdb
..\..\ok.eds_overflow
..\..\ok.fit.qmsg
..\..\ok.hier_info
..\..\ok.hif
..\..\ok.lpc.html
..\..\ok.lpc.rdb
..\..\ok.lpc.txt
..\..\ok.map.cdb
..\..\ok.map.hdb
..\..\ok.map.logdb
..\..\ok.map.qmsg
..\..\ok.pre_map.cdb
..\..\ok.pre_map.hdb
..\..\ok.rtlv.hdb
..\..\ok.rtlv_sg.cdb
..\..\ok.rtlv_sg_swap.cdb
..\..\ok.sgdiff.cdb
..\..\ok.sgdiff.hdb
..\..\ok.sim.cvwf
..\..\ok.sim.hdb
..\..\ok.sim.qmsg
..\..\ok.sim.rdb
..\..\ok.sld_design_entry.sci
..\..\ok.sld_design_entry_dsc.sci
..\..\ok.syn_hier_info
..\..\ok.tan.qmsg
..\..\ok.tis_db_list.ddb
..\..\ok.tmw_info
..\..\prev_cmp_ok.asm.qmsg
..\..\prev_cmp_ok.fit.qmsg
..\..\prev_cmp_ok.map.qmsg
..\..\prev_cmp_ok.qmsg
..\..\prev_cmp_ok.sim.qmsg
..\..\prev_cmp_ok.tan.qmsg
..\..\wed.wsf
..\display.vhd
..\incremental_db\compiled_partitions\ok.root_partition.map.kpt
..\..............\README
..\kongzhi.vhd
..\ok.asm.rpt
..\ok.done
..\ok.dpf
..\ok.fit.rpt
..\ok.fit.smsg
..\ok.fit.summary
..\ok.flow.rpt
..\ok.map.rpt
..\ok.map.summary
..\ok.pin
..\ok.pof
..\ok.qpf
..\ok.qsf
..\ok.qws
..\ok.sim.rpt
..\ok.tan.rpt
..\ok.tan.summary
..\ok.vhd
..\ok.vhd.bak
..\ok.vwf
..\incremental_db\compiled_partitions
..\db
..\incremental_db
ok