Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
我正在从终端运行一个 minizinc 模型，但在程序完成执行后看不到运行时间：我怎么能看到执行/运行时间？有这个标志吗？