我正在使用 Z3 的 Java API，我需要定义自然的整数变量，即它们的值不能为负数。如何使用 java API 在 z3 中定义自然数据类型？
最佳答案
这取决于Java的版本。在 Java 8 之前，您必须滚动自己的类型，通常使用更大的原语，以便可以按照您需要的位长度表示无符号值的整个范围。
这(可能)需要您自己进行补码数学运算。
Java 8 有一个新的无符号整数 API，它提供了一种以真正无符号的方式操作值的更简单的方法。请参阅API docs for Integer .关于java - 使用 Java API 的无符号整数，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/30873791/