Scientific gems for Ruby. This is the full installation with rigid version constraints.
24,929 下载
Minisat binding for PropLogic
5,051 下载
MIT