module PropLogic
  module Minisat
    VERSION = "0.1.0"
  end
end