Scientific gems for Ruby. This is the full installation with rigid version constraints.
24,989 Downloads
Minisat binding for PropLogic
5,067 Downloads
MIT