没有合适的资源?快使用搜索试试~ 我知道了~
MiniZincU:Contraint 建模语言 MiniZinc 的扩展
共473个文件
class:209个
java:129个
mzn:26个
需积分: 9 0 下载量 57 浏览量
2021-06-25
17:47:46
上传
评论
收藏 10.65MB ZIP 举报
温馨提示
迷你锌U Contraint 建模语言 MiniZinc 的扩展。 这个库是 MiniZinc 模型的源到源转换器。 它允许使用联合类型扩展 MiniZinc,并使用程序转换生成具有相同语义的有效 MiniZinc 模型。 有关详细信息,请查看。 这是与 Peter Stuckey 和 Antonio Tenorio-Fornés 的联合作品。 要求 Java 8 或更高版本 MiniZinc 2.0 或更高版本 使用 MiniZincU 为了尝试代码,您可以查看存储库的示例文件夹。 变换是 下载 假设您想尝试包含在 arith.mzn 中的模型。 然后输入: java -jar minizincu.jar arith.mzn > aritht.mzn 小锌算法.mzn 限制 声明的参数(常量)在联合类型中仍然不起作用。 Case 语句只允许在谓词/函数中使用 谓词体中 case
资源推荐
资源详情
资源评论
收起资源包目录
MiniZincU:Contraint 建模语言 MiniZinc 的扩展 (473个子文件)
l-sep. 9KB
MiniZincGrammarParser.class 92KB
MiniZincGrammarBaseListener.class 40KB
MiniZincGrammarListener.class 22KB
SplitModel.class 20KB
MiniZincGrammarLexer.class 15KB
TransVar.class 11KB
Extended.class 9KB
PredOrUnionExpr.class 8KB
Operand.class 8KB
InfixExpr.class 8KB
Expr.class 8KB
DataDef.class 7KB
BoolVal.class 7KB
Decl.class 7KB
InDecl.class 7KB
Predicate.class 7KB
VarDecl.class 7KB
DataCons.class 7KB
IfS.class 6KB
CaseExpr.class 6KB
GuardedList.class 6KB
ListValue.class 6KB
Branch.class 6KB
LetExpr.class 6KB
Function.class 6KB
ParDecl.class 6KB
Statement.class 6KB
GuardedSet.class 6KB
InfixArithBoolExpr.class 6KB
MultiDimList.class 5KB
TypeRange.class 5KB
RangeSetVal.class 5KB
BracketExpr.class 5KB
ArrayArrayAccess.class 5KB
LetDecl.class 5KB
BoolComplexExpr.class 5KB
BoolExpr.class 5KB
IdArrayAccess.class 5KB
MiniZincGrammarParser$ExprContext.class 5KB
QualName.class 5KB
RbracketExpr.class 4KB
InfixBoolExpr.class 4KB
TypeUnion.class 4KB
Dimension.class 4KB
Optimize.class 4KB
ArrayAccess.class 4KB
Init.class 4KB
Selection.class 4KB
OneDimList.class 4KB
OpOrID.class 4KB
MiniZincU.class 4KB
StringC.class 4KB
Solve.class 4KB
Type.class 4KB
InfixOp.class 4KB
SetqS.class 4KB
ArithExpr.class 4KB
InfixArithExpr.class 4KB
Constraint.class 3KB
Output.class 3KB
MiniZincGrammarParser$StatContext.class 3KB
MinusArithExpr.class 3KB
MiniZincGrammarParser$BoolExprContext.class 3KB
MiniZincGrammarParser$BoolComplexExprContext.class 3KB
Annotation.class 3KB
Include.class 3KB
TypeArray.class 3KB
ListExpr.class 3KB
NotBoolExpr.class 3KB
MiniZincRepresentation.class 3KB
SimpleList.class 3KB
MiniZincGrammarParser$OperandContext.class 3KB
InfixSetOp.class 3KB
Model.class 3KB
ModeAnnotation.class 3KB
TypeSet.class 3KB
InfixListExpr.class 3KB
MiniZincGrammarParser$TypenameContext.class 3KB
And.class 3KB
MiniZincGrammarParser$BoolValContext.class 3KB
SubExpressions.class 3KB
SetExpr.class 2KB
SetVal.class 2KB
MiniZincGrammarParser$ListValueContext.class 2KB
MiniZincGrammarParser$FunctionContext.class 2KB
MiniZincGrammarParser$ListExprContext.class 2KB
FloatC.class 2KB
MiniZincGrammarParser$ArithExprContext.class 2KB
IntC.class 2KB
MiniZincGrammarParser$ArithComplexExprContext.class 2KB
Imply.class 2KB
BoolC.class 2KB
MiniZincGrammarParser$QualNameContext.class 2KB
MiniZincGrammarParser$BodyIfContext.class 2KB
MiniZincGrammarParser$ModeAnnotationContext.class 2KB
MiniZincGrammarParser$PredicateContext.class 2KB
MiniZincGrammarParser$InDeclContext.class 2KB
MiniZincGrammarParser$ExtendedContext.class 2KB
MiniZincGrammarParser$SetExprContext.class 2KB
共 473 条
- 1
- 2
- 3
- 4
- 5
资源评论
一起快走吧
- 粉丝: 31
- 资源: 4658
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功