TableSalt:一个lua约束满足框架

食盐 TableSalt 是一个约束满足框架。 它允许您编写可用于解决几乎任何约束满足问题的自定义约束函数（Pepper Constraints）。 继续阅读并查看以获取更多信息。 安装 要获得最新版本的 TableSalt，请将其安装为子模块： git submodule add git://github.com/FourierTransformer/TableSalt.git 之后你需要做一个git submodule update --init --recursive来完全初始化它。 或者您可以克隆它并将其包含在您的项目中： git clone git://github.com/FourierTransformer/TableSalt.git 并将其包含在您的项目中： local CSP = require('TableSalt/TableSalt') local Ta