Scientific gems for Ruby. This is the full installation with rigid version constraints.
25,115 ダウンロード数
Minisat binding for PropLogic
5,086 ダウンロード数
MIT