Scientific gems for Ruby. This is the full installation with rigid version constraints.
25,206 下載
Minisat binding for PropLogic
5,104 下載
MIT