prop_logic-sat4j 2.3.5.0-java
Sat4j bindings for prop_logic
Gemfile:
=
クリップボードにコピー
コピー完了!
インストール:
=
バージョン履歴:
- 2.3.5.0 - April 05, 2016 java (317KB)
Runtime依存関係 (1):
prop_logic
>= 0.2.0