Scientific gems for Ruby. This is the full installation with rigid version constraints.
25 048 Téléchargements
Minisat binding for PropLogic
5 077 Téléchargements
MIT