为什么选择MiniZin？
高级语言 使用可读、直观的逻辑结构和完整类型的安全性，对约束满足和优化问题进行建模。 独立于解算器 使用各种不同的解算器技术运行同一模型，而不会锁定到特定解算器中。 预定义约束 MiniZin具有一个大型预定义约束库，可以简化复杂关系的建模。 功能齐全的开发环境 使用MiniZin IDE编写和运行模型，可视化搜索和解决方案，分析性能等。 深度学习材料 MiniZin有全面的文档，包括初学者教程、高级课程、用户手册和库文档。 将MiniZin集成到您的项目中 MiniZin可以嵌入到Python和JavaScript程序中，甚至可以完全在浏览器中使用。