RubyGems Navigation menu

prop_logic 的反向依赖 以下 Gem 的最新版本需要 prop_logic

prop_logic-minisat 0.2.0

Minisat binding for PropLogic

5,555 下载

prop_logic-sat4j 2.3.5.0

Sat4j bindings for prop_logic

3,711 下载

下载总量 22,680

这个版本 3,683

版本发布:

许可:

MIT

需要的 Ruby 版本: >= 2.0.0

链接:

主页 文档 下载 审查变更 徽章 订阅 RSS 举报投诉 反向依赖