Scientific gems for Ruby. This is the full installation with rigid version constraints.
24.929 Descargas
Minisat binding for PropLogic
5.051 Descargas
MIT