Varisat

此crate包含由 varisat crate 内部使用的宏。

这是Varisat SAT求解器的内部依赖项，不应直接使用。

许可证

Varisat源代码根据以下任一许可证授权

• Apache License, Version 2.0 (LICENSE-APACHE 或 https://apache.ac.cn/licenses/LICENSE-2.0)
• MIT许可证 (LICENSE-MIT 或 https://open-source.org.cn/licenses/MIT)

由您选择。

贡献

除非您明确说明，否则您根据Apache-2.0许可证定义的，有意提交给Varisat的任何贡献都将根据上述双许可，不附加任何额外条款或条件。

lib.rs:

Varisat SAT 求解器内部宏。