# -*- encoding: utf-8 -*-
# stub: ConstraintSolver 0.1 ruby lib

Gem::Specification.new do |s|
  s.name = "ConstraintSolver".freeze
  s.version = "0.1".freeze

  s.required_rubygems_version = Gem::Requirement.new(">= 0".freeze) if s.respond_to? :required_rubygems_version=
  s.require_paths = ["lib".freeze]
  s.authors = ["Lars Kotthoff".freeze]
  s.date = "2007-07-08"
  s.email = "mai02dcs@studserv.uni-leipzig.de".freeze
  s.executables = ["ConstraintSolver".freeze]
  s.files = ["bin/ConstraintSolver".freeze, "doc/classes".freeze, "doc/classes/Array.html".freeze, "doc/classes/ConstraintSolver".freeze, "doc/classes/ConstraintSolver.html".freeze, "doc/classes/ConstraintSolver/AbstractConstraint.html".freeze, "doc/classes/ConstraintSolver/AllDifferentConstraint.html".freeze, "doc/classes/ConstraintSolver/AllDifferentConstraintTest.html".freeze, "doc/classes/ConstraintSolver/BinaryConstraint.html".freeze, "doc/classes/ConstraintSolver/BinaryConstraintTest.html".freeze, "doc/classes/ConstraintSolver/BinaryRelation.html".freeze, "doc/classes/ConstraintSolver/BinaryRelationTest.html".freeze, "doc/classes/ConstraintSolver/ConstraintList.html".freeze, "doc/classes/ConstraintSolver/ConstraintListTest.html".freeze, "doc/classes/ConstraintSolver/ConstraintSolver.html".freeze, "doc/classes/ConstraintSolver/ConstraintSolverTest.html".freeze, "doc/classes/ConstraintSolver/Domain.html".freeze, "doc/classes/ConstraintSolver/DomainTest.html".freeze, "doc/classes/ConstraintSolver/DomainWipeoutException.html".freeze, "doc/classes/ConstraintSolver/Problem.html".freeze, "doc/classes/ConstraintSolver/ProblemTest.html".freeze, "doc/classes/ConstraintSolver/Solution.html".freeze, "doc/classes/ConstraintSolver/SolutionTest.html".freeze, "doc/classes/ConstraintSolver/UndoStackEmptyException.html".freeze, "doc/classes/ConstraintSolver/Variable.html".freeze, "doc/classes/ConstraintSolver/VariableTest.html".freeze, "doc/classes/ExtensionsTest.html".freeze, "doc/classes/Fixnum.html".freeze, "doc/created.rid".freeze, "doc/dot".freeze, "doc/dot/f_0.dot".freeze, "doc/dot/f_0.png".freeze, "doc/dot/f_1.dot".freeze, "doc/dot/f_1.png".freeze, "doc/dot/f_10.dot".freeze, "doc/dot/f_10.png".freeze, "doc/dot/f_11.dot".freeze, "doc/dot/f_11.png".freeze, "doc/dot/f_12.dot".freeze, "doc/dot/f_12.png".freeze, "doc/dot/f_13.dot".freeze, "doc/dot/f_13.png".freeze, "doc/dot/f_14.dot".freeze, "doc/dot/f_14.png".freeze, "doc/dot/f_15.dot".freeze, "doc/dot/f_15.png".freeze, "doc/dot/f_16.dot".freeze, "doc/dot/f_16.png".freeze, "doc/dot/f_17.dot".freeze, "doc/dot/f_17.png".freeze, "doc/dot/f_18.dot".freeze, "doc/dot/f_18.png".freeze, "doc/dot/f_19.dot".freeze, "doc/dot/f_19.png".freeze, "doc/dot/f_2.dot".freeze, "doc/dot/f_2.png".freeze, "doc/dot/f_3.dot".freeze, "doc/dot/f_3.png".freeze, "doc/dot/f_4.dot".freeze, "doc/dot/f_4.png".freeze, "doc/dot/f_5.dot".freeze, "doc/dot/f_5.png".freeze, "doc/dot/f_6.dot".freeze, "doc/dot/f_6.png".freeze, "doc/dot/f_7.dot".freeze, "doc/dot/f_7.png".freeze, "doc/dot/f_8.dot".freeze, "doc/dot/f_8.png".freeze, "doc/dot/f_9.dot".freeze, "doc/dot/f_9.png".freeze, "doc/dot/m_10_0.dot".freeze, "doc/dot/m_10_0.png".freeze, "doc/dot/m_12_0.dot".freeze, "doc/dot/m_12_0.png".freeze, "doc/dot/m_13_0.dot".freeze, "doc/dot/m_13_0.png".freeze, "doc/dot/m_14_0.dot".freeze, "doc/dot/m_14_0.png".freeze, "doc/dot/m_15_0.dot".freeze, "doc/dot/m_15_0.png".freeze, "doc/dot/m_16_0.dot".freeze, "doc/dot/m_16_0.png".freeze, "doc/dot/m_17_0.dot".freeze, "doc/dot/m_17_0.png".freeze, "doc/dot/m_18_0.dot".freeze, "doc/dot/m_18_0.png".freeze, "doc/dot/m_19_0.dot".freeze, "doc/dot/m_19_0.png".freeze, "doc/dot/m_1_0.dot".freeze, "doc/dot/m_1_0.png".freeze, "doc/dot/m_2_0.dot".freeze, "doc/dot/m_2_0.png".freeze, "doc/dot/m_3_0.dot".freeze, "doc/dot/m_3_0.png".freeze, "doc/dot/m_4_0.dot".freeze, "doc/dot/m_4_0.png".freeze, "doc/dot/m_5_0.dot".freeze, "doc/dot/m_5_0.png".freeze, "doc/dot/m_7_0.dot".freeze, "doc/dot/m_7_0.png".freeze, "doc/dot/m_8_0.dot".freeze, "doc/dot/m_8_0.png".freeze, "doc/dot/m_9_0.dot".freeze, "doc/dot/m_9_0.png".freeze, "doc/files".freeze, "doc/files/lib".freeze, "doc/files/lib/AbstractConstraint_rb.html".freeze, "doc/files/lib/AllDifferentConstraint_rb.html".freeze, "doc/files/lib/BinaryConstraint_rb.html".freeze, "doc/files/lib/ConstraintList_rb.html".freeze, "doc/files/lib/ConstraintSolver_rb.html".freeze, "doc/files/lib/Domain_rb.html".freeze, "doc/files/lib/Problem_rb.html".freeze, "doc/files/lib/Solution_rb.html".freeze, "doc/files/lib/Variable_rb.html".freeze, "doc/files/lib/extensions_rb.html".freeze, "doc/files/test".freeze, "doc/files/test/AllDifferentConstraintTest_rb.html".freeze, "doc/files/test/BinaryConstraintTest_rb.html".freeze, "doc/files/test/ConstraintListTest_rb.html".freeze, "doc/files/test/ConstraintSolverTest_rb.html".freeze, "doc/files/test/DomainTest_rb.html".freeze, "doc/files/test/ProblemTest_rb.html".freeze, "doc/files/test/SolutionTest_rb.html".freeze, "doc/files/test/TestSuite_rb.html".freeze, "doc/files/test/VariableTest_rb.html".freeze, "doc/files/test/extensionsTest_rb.html".freeze, "doc/fr_class_index.html".freeze, "doc/fr_file_index.html".freeze, "doc/fr_method_index.html".freeze, "doc/index.html".freeze, "examples/example.rb".freeze, "examples/queens.rb".freeze, "examples/soft.rb".freeze, "lib/AbstractConstraint.rb".freeze, "lib/AllDifferentConstraint.rb".freeze, "lib/BinaryConstraint.rb".freeze, "lib/ConstraintList.rb".freeze, "lib/ConstraintSolver.rb".freeze, "lib/Domain.rb".freeze, "lib/GraphUtils.rb".freeze, "lib/OneOfEqualsConstraint.rb".freeze, "lib/Problem.rb".freeze, "lib/Solution.rb".freeze, "lib/TupleConstraint.rb".freeze, "lib/Variable.rb".freeze, "lib/extensions.rb".freeze, "test/AllDifferentConstraintTest.rb".freeze, "test/BinaryConstraintTest.rb".freeze, "test/ConstraintListTest.rb".freeze, "test/ConstraintSolverTest.rb".freeze, "test/DomainTest.rb".freeze, "test/GraphUtilsTest.rb".freeze, "test/OneOfEqualsConstraintTest.rb".freeze, "test/ProblemTest.rb".freeze, "test/SolutionTest.rb".freeze, "test/TestSuite.rb".freeze, "test/TupleConstraintTest.rb".freeze, "test/VariableTest.rb".freeze, "test/extensionsTest.rb".freeze]
  s.homepage = "http://larsko.dyndns.org/".freeze
  s.required_ruby_version = Gem::Requirement.new("> 0.0.0".freeze)
  s.rubygems_version = "3.5.10".freeze
  s.summary = "A solver for constraint satisfaction and constrained optimisation problems.".freeze
  s.test_files = ["test/TestSuite.rb".freeze]

  s.specification_version = 1

  s.add_runtime_dependency(%q<log4r>.freeze, ["> 0.0.0".freeze])
end