使用 assert 函数在 minizinc 中输出求解的时间和日期
Output the solved time and date in minizinc with assert function
假设我有下面的代码，它会输出 assert 语句，因为条件不满足。
int: x =40;
var int:y;
constraint y=x;
现在假设我正在从数据文件中获取 x 的值，用户可以在其中输入任何值。
但我限制用户只能输入正数到x。（X不能是负数）。
constraint assert(x>=0,"Please enter a positive value to X");
solve satisfy;
想象一下用户输入 -2 所以它会输出上面的内容 statement.I 需要用上面的语句打印日期和时间。（至少时间）。在 minizinc 中有没有什么方法可以做到这一点。
（我会把我的评论转成答案，喜欢的可以采纳）
MiniZinc 中没有用于执行此操作的内置函数。一个建议是你 运行 通过包装器（例如 Python MiniZinc 包，见下文）捕获错误然后打印日期和时间。
Python MiniZinc 包在这里：https://minizinc-python.readthedocs.io/en/latest/getting_started.html
假设我有下面的代码，它会输出 assert 语句，因为条件不满足。
int: x =40;
var int:y;
constraint y=x;
现在假设我正在从数据文件中获取 x 的值，用户可以在其中输入任何值。 但我限制用户只能输入正数到x。（X不能是负数）。
constraint assert(x>=0,"Please enter a positive value to X");
solve satisfy;
想象一下用户输入 -2 所以它会输出上面的内容 statement.I 需要用上面的语句打印日期和时间。（至少时间）。在 minizinc 中有没有什么方法可以做到这一点。
（我会把我的评论转成答案，喜欢的可以采纳）
MiniZinc 中没有用于执行此操作的内置函数。一个建议是你 运行 通过包装器（例如 Python MiniZinc 包，见下文）捕获错误然后打印日期和时间。
Python MiniZinc 包在这里：https://minizinc-python.readthedocs.io/en/latest/getting_started.html