×

扁平锌

swMATH ID: 6262
软件作者: Guido Tack、Sebastian Brand、Mark Brown、Thibaut Feydy、Julien Fischer、Maria Garcia de la Banda、Peter Stuckey、Mark Wallace
描述: MiniZin是一种中等级别的约束建模语言。它的级别足够高,可以轻松地表达大多数约束问题,但级别足够低,可以轻松且一致地映射到现有解算器。它是高级语言锌的子集。我们希望它能被约束编程社区采纳为标准。FlatZin是一种低级解算器输入语言,是MiniZin的目标语言。它被设计为易于转换为解算器所需的形式。
主页: http://www.minizinc.org/
依赖项: 迷你锌
关键词: 锌建模语言;迷你锌
相关软件: 迷你锌;Gecode公司;SCIP公司;彗星;github;简单;Yices公司;SMT-LIB公司;本质;OR-醇;奥斯卡;阳光;奥斯卡.cbls;fzn2毫米;SICStus公司;日本石油公司;z3(零3);微型搜索;本地化程序;对夹2
引用于: 9文件

按年份列出的引文