文件名称:examples
介绍说明－－下载内容均来自于网络，请自行研究使用
逻辑程序设计中smodels系统中的一些典型事例。-Logic programming system design smodels some typical examples.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
examples
........\graph
........\.....\clique.lp
........\.....\degree-bounded_connected_subgraph.lp
........\.....\graph1
........\.....\graph_isomorphism.lp
........\.....\hamiltonian_cycle.lp
........\.....\induced_path.lp
........\.....\k-closure.lp
........\.....\k-colorability.lp
........\.....\lizi.lp~
........\.....\longest_cycle.lp
........\.....\traveling_salesman.lp
........\.....\vertex_cover.lp
........\logic
........\.....\maxsat.lp
........\.....\sat.lp
........\planning
........\........\logistics.lp
........\........\plan1.lp
........\........\plan2.lp
........\puzzle
........\......\puzzle.lp
........\......\puzzle1.lp
........\......\puzzle3.lp
........\graph
........\.....\clique.lp
........\.....\degree-bounded_connected_subgraph.lp
........\.....\graph1
........\.....\graph_isomorphism.lp
........\.....\hamiltonian_cycle.lp
........\.....\induced_path.lp
........\.....\k-closure.lp
........\.....\k-colorability.lp
........\.....\lizi.lp~
........\.....\longest_cycle.lp
........\.....\traveling_salesman.lp
........\.....\vertex_cover.lp
........\logic
........\.....\maxsat.lp
........\.....\sat.lp
........\planning
........\........\logistics.lp
........\........\plan1.lp
........\........\plan2.lp
........\puzzle
........\......\puzzle.lp
........\......\puzzle1.lp
........\......\puzzle3.lp