lib/ravensat/solver.rb in ravensat-0.3.0 vs lib/ravensat/solver.rb in ravensat-0.3.1

@@ -3,17 +3,10 @@
 module Ravensat
   class Solver
     attr_accessor :name
     def initialize( default_solver_name = "arcteryx" )
       @name = default_solver_name
-      # @cnf = Array.new
-      # @nr_vars
-      # @nr_clses
     end
-
-    # def <<( clause )
-    #   'this is << method'
-    # end
 
     def solve( cnf )
       encoder = DimacsEncoder.new
       @input_file = Tempfile.open(["ravensat",".cnf"])
       @output_file = Tempfile.open(["ravensat",".mdl"])