Scientific gems for Ruby. This is the full installation with rigid version constraints.
25.138 Downloads
Minisat binding for PropLogic
5.090 Downloads
MIT