github.com

新手上路 2026-2-5 16:06

主楼

[资源名称]

LogicNG - 用于创建、操作和求解布尔和伪布尔公式的库

[资源来源]

github.com

[资源介绍]

GitHub - logic-ng/LogicNG: The Next Generation Logic Library
The Next Generation Logic Library.
- LogicNG - 用于创建、操作和求解布尔和伪布尔公式的库。

[资源合集]

回复点赞举报