Contents

module PropLogic
  module Minisat
    VERSION = "0.2.0"
  end
end

Version data entries

1 entries across 1 versions & 1 rubygems

Version	Path
prop_logic-minisat-0.2.0	lib/prop_logic/minisat/version.rb