module PropLogic
  module Minisat
    VERSION = "0.2.0"
  end
end