文件名称:naxos-0.3.7-beta
下载
别用迅雷、360浏览器下载。
如迅雷强制弹出，可右键点击选“另存为”。
失败请重下，重下不扣分。
如迅雷强制弹出，可右键点击选“另存为”。
失败请重下，重下不扣分。
介绍说明－－下载内容均来自于网络，请自行研究使用
逻辑约束程序库，
用C++编写的，
可以进行逻辑程序设计-Logical constraints library with C++ prepared, can be logic programming
用C++编写的，
可以进行逻辑程序设计-Logical constraints library with C++ prepared, can be logic programming
(系统自动生成,下载前可以参看下载内容)
下载文件列表
naxos-0.3.7-beta
................\array_constraints.cpp
................\bitset_domain.cpp
................\examples
................\........\Makefile
................\........\nqueens.cpp
................\........\send_more_money.cpp
................\expressions.cpp
................\internal.h
................\intvar.cpp
................\license
................\.......\COPYING.LESSER.txt
................\.......\COPYING.txt
................\.......\LICENSE.txt
................\Makefile
................\naxos.h
................\problemmanager.cpp
................\stack.h
................\var_constraints.cpp