gecoder-with-gecode 0.9.0-x86-mswin32-60
Sign up to get free protection for your applications and to get access to all the features.
- data/CHANGES +137 -0
- data/COPYING +17 -0
- data/LGPL-LICENSE +458 -0
- data/README +58 -0
- data/Rakefile +14 -0
- data/example/equation_system.rb +15 -0
- data/example/example_helper.rb +1 -0
- data/example/magic_sequence.rb +43 -0
- data/example/money.rb +36 -0
- data/example/queens.rb +42 -0
- data/example/send_more_money.rb +43 -0
- data/example/send_most_money.rb +58 -0
- data/example/square_tiling.rb +84 -0
- data/example/sudoku-set.rb +106 -0
- data/example/sudoku.rb +56 -0
- data/lib/gecode.dll +0 -0
- data/lib/gecoder.rb +5 -0
- data/lib/gecoder/bindings.rb +96 -0
- data/lib/gecoder/bindings/bindings.rb +2029 -0
- data/lib/gecoder/interface.rb +9 -0
- data/lib/gecoder/interface/binding_changes.rb +9 -0
- data/lib/gecoder/interface/branch.rb +163 -0
- data/lib/gecoder/interface/constraints.rb +471 -0
- data/lib/gecoder/interface/constraints/bool/boolean.rb +251 -0
- data/lib/gecoder/interface/constraints/bool/channel.rb +7 -0
- data/lib/gecoder/interface/constraints/bool/linear.rb +200 -0
- data/lib/gecoder/interface/constraints/bool_enum/channel.rb +68 -0
- data/lib/gecoder/interface/constraints/bool_enum/extensional.rb +106 -0
- data/lib/gecoder/interface/constraints/bool_enum/relation.rb +55 -0
- data/lib/gecoder/interface/constraints/bool_enum_constraints.rb +84 -0
- data/lib/gecoder/interface/constraints/bool_var_constraints.rb +155 -0
- data/lib/gecoder/interface/constraints/extensional_regexp.rb +101 -0
- data/lib/gecoder/interface/constraints/fixnum_enum/element.rb +63 -0
- data/lib/gecoder/interface/constraints/fixnum_enum/operation.rb +65 -0
- data/lib/gecoder/interface/constraints/fixnum_enum_constraints.rb +42 -0
- data/lib/gecoder/interface/constraints/int/arithmetic.rb +150 -0
- data/lib/gecoder/interface/constraints/int/channel.rb +51 -0
- data/lib/gecoder/interface/constraints/int/domain.rb +80 -0
- data/lib/gecoder/interface/constraints/int/linear.rb +143 -0
- data/lib/gecoder/interface/constraints/int/relation.rb +141 -0
- data/lib/gecoder/interface/constraints/int_enum/arithmetic.rb +63 -0
- data/lib/gecoder/interface/constraints/int_enum/channel.rb +86 -0
- data/lib/gecoder/interface/constraints/int_enum/count.rb +66 -0
- data/lib/gecoder/interface/constraints/int_enum/distinct.rb +64 -0
- data/lib/gecoder/interface/constraints/int_enum/element.rb +64 -0
- data/lib/gecoder/interface/constraints/int_enum/equality.rb +37 -0
- data/lib/gecoder/interface/constraints/int_enum/extensional.rb +187 -0
- data/lib/gecoder/interface/constraints/int_enum/sort.rb +135 -0
- data/lib/gecoder/interface/constraints/int_enum_constraints.rb +95 -0
- data/lib/gecoder/interface/constraints/int_var_constraints.rb +230 -0
- data/lib/gecoder/interface/constraints/reifiable_constraints.rb +78 -0
- data/lib/gecoder/interface/constraints/selected_set/select.rb +120 -0
- data/lib/gecoder/interface/constraints/selected_set_constraints.rb +75 -0
- data/lib/gecoder/interface/constraints/set/cardinality.rb +65 -0
- data/lib/gecoder/interface/constraints/set/channel.rb +51 -0
- data/lib/gecoder/interface/constraints/set/connection.rb +130 -0
- data/lib/gecoder/interface/constraints/set/domain.rb +156 -0
- data/lib/gecoder/interface/constraints/set/include.rb +36 -0
- data/lib/gecoder/interface/constraints/set/operation.rb +118 -0
- data/lib/gecoder/interface/constraints/set/relation.rb +155 -0
- data/lib/gecoder/interface/constraints/set_elements/relation.rb +116 -0
- data/lib/gecoder/interface/constraints/set_elements_constraints.rb +97 -0
- data/lib/gecoder/interface/constraints/set_enum/channel.rb +45 -0
- data/lib/gecoder/interface/constraints/set_enum/distinct.rb +43 -0
- data/lib/gecoder/interface/constraints/set_enum/operation.rb +69 -0
- data/lib/gecoder/interface/constraints/set_enum/select.rb +79 -0
- data/lib/gecoder/interface/constraints/set_enum_constraints.rb +84 -0
- data/lib/gecoder/interface/constraints/set_var_constraints.rb +243 -0
- data/lib/gecoder/interface/enum_matrix.rb +64 -0
- data/lib/gecoder/interface/enum_wrapper.rb +205 -0
- data/lib/gecoder/interface/model.rb +453 -0
- data/lib/gecoder/interface/model_sugar.rb +84 -0
- data/lib/gecoder/interface/search.rb +197 -0
- data/lib/gecoder/interface/variables.rb +306 -0
- data/lib/gecoder/version.rb +4 -0
- data/specs/bool_var.rb +81 -0
- data/specs/branch.rb +185 -0
- data/specs/constraints/bool/boolean.rb +317 -0
- data/specs/constraints/bool/boolean_properties.rb +51 -0
- data/specs/constraints/bool/linear.rb +213 -0
- data/specs/constraints/bool_enum/bool_enum_relation.rb +117 -0
- data/specs/constraints/bool_enum/channel.rb +102 -0
- data/specs/constraints/bool_enum/extensional.rb +225 -0
- data/specs/constraints/constraint_helper.rb +234 -0
- data/specs/constraints/constraint_receivers.rb +103 -0
- data/specs/constraints/constraints.rb +26 -0
- data/specs/constraints/fixnum_enum/element.rb +58 -0
- data/specs/constraints/fixnum_enum/operation.rb +67 -0
- data/specs/constraints/int/arithmetic.rb +149 -0
- data/specs/constraints/int/channel.rb +101 -0
- data/specs/constraints/int/domain.rb +106 -0
- data/specs/constraints/int/linear.rb +183 -0
- data/specs/constraints/int/linear_properties.rb +97 -0
- data/specs/constraints/int/relation.rb +84 -0
- data/specs/constraints/int_enum/arithmetic.rb +72 -0
- data/specs/constraints/int_enum/channel.rb +57 -0
- data/specs/constraints/int_enum/count.rb +72 -0
- data/specs/constraints/int_enum/distinct.rb +80 -0
- data/specs/constraints/int_enum/element.rb +61 -0
- data/specs/constraints/int_enum/equality.rb +29 -0
- data/specs/constraints/int_enum/extensional.rb +224 -0
- data/specs/constraints/int_enum/sort.rb +167 -0
- data/specs/constraints/operands.rb +264 -0
- data/specs/constraints/property_helper.rb +443 -0
- data/specs/constraints/reification_sugar.rb +69 -0
- data/specs/constraints/selected_set/select.rb +56 -0
- data/specs/constraints/selected_set/select_properties.rb +157 -0
- data/specs/constraints/set/cardinality.rb +58 -0
- data/specs/constraints/set/cardinality_properties.rb +46 -0
- data/specs/constraints/set/channel.rb +77 -0
- data/specs/constraints/set/connection.rb +176 -0
- data/specs/constraints/set/domain.rb +197 -0
- data/specs/constraints/set/include.rb +36 -0
- data/specs/constraints/set/operation.rb +132 -0
- data/specs/constraints/set/relation.rb +117 -0
- data/specs/constraints/set_elements/relation.rb +84 -0
- data/specs/constraints/set_enum/channel.rb +80 -0
- data/specs/constraints/set_enum/distinct.rb +59 -0
- data/specs/constraints/set_enum/operation.rb +111 -0
- data/specs/constraints/set_enum/select.rb +73 -0
- data/specs/distribution.rb +14 -0
- data/specs/enum_matrix.rb +43 -0
- data/specs/enum_wrapper.rb +179 -0
- data/specs/examples.rb +17 -0
- data/specs/int_var.rb +163 -0
- data/specs/logging.rb +24 -0
- data/specs/model.rb +325 -0
- data/specs/model_sugar.rb +30 -0
- data/specs/search.rb +383 -0
- data/specs/selected_set.rb +39 -0
- data/specs/set_elements.rb +34 -0
- data/specs/set_var.rb +82 -0
- data/specs/spec_helper.rb +265 -0
- data/tasks/all_tasks.rb +1 -0
- data/tasks/dependencies.txt +22 -0
- data/tasks/distribution.rake +194 -0
- data/tasks/rcov.rake +18 -0
- data/tasks/specs.rake +21 -0
- data/tasks/svn.rake +16 -0
- data/tasks/website.rake +51 -0
- data/vendor/gecode/win32/lib/libgecodeint.dll +0 -0
- data/vendor/gecode/win32/lib/libgecodekernel.dll +0 -0
- data/vendor/gecode/win32/lib/libgecodeminimodel.dll +0 -0
- data/vendor/gecode/win32/lib/libgecodesearch.dll +0 -0
- data/vendor/gecode/win32/lib/libgecodeset.dll +0 -0
- data/vendor/gecode/win32/lib/libgecodesupport.dll +0 -0
- data/vendor/rust/README +28 -0
- data/vendor/rust/bin/cxxgenerator.rb +93 -0
- data/vendor/rust/include/rust_checks.hh +116 -0
- data/vendor/rust/include/rust_conversions.hh +102 -0
- data/vendor/rust/rust.rb +67 -0
- data/vendor/rust/rust/attribute.rb +51 -0
- data/vendor/rust/rust/bindings.rb +172 -0
- data/vendor/rust/rust/class.rb +337 -0
- data/vendor/rust/rust/constants.rb +48 -0
- data/vendor/rust/rust/container.rb +110 -0
- data/vendor/rust/rust/cppifaceparser.rb +129 -0
- data/vendor/rust/rust/cwrapper.rb +72 -0
- data/vendor/rust/rust/cxxclass.rb +96 -0
- data/vendor/rust/rust/element.rb +81 -0
- data/vendor/rust/rust/enum.rb +63 -0
- data/vendor/rust/rust/function.rb +407 -0
- data/vendor/rust/rust/namespace.rb +61 -0
- data/vendor/rust/rust/templates/AttributeDefinition.rusttpl +17 -0
- data/vendor/rust/rust/templates/AttributeInitBinding.rusttpl +9 -0
- data/vendor/rust/rust/templates/BindingsHeader.rusttpl +24 -0
- data/vendor/rust/rust/templates/BindingsUnit.rusttpl +46 -0
- data/vendor/rust/rust/templates/CWrapperClassDefinitions.rusttpl +64 -0
- data/vendor/rust/rust/templates/ClassDeclarations.rusttpl +7 -0
- data/vendor/rust/rust/templates/ClassInitialize.rusttpl +6 -0
- data/vendor/rust/rust/templates/ConstructorStub.rusttpl +21 -0
- data/vendor/rust/rust/templates/CxxClassDefinitions.rusttpl +100 -0
- data/vendor/rust/rust/templates/CxxMethodStub.rusttpl +12 -0
- data/vendor/rust/rust/templates/CxxStandaloneClassDefinitions.rusttpl +26 -0
- data/vendor/rust/rust/templates/EnumDeclarations.rusttpl +3 -0
- data/vendor/rust/rust/templates/EnumDefinitions.rusttpl +29 -0
- data/vendor/rust/rust/templates/FunctionDefinition.rusttpl +9 -0
- data/vendor/rust/rust/templates/FunctionInitAlias.rusttpl +5 -0
- data/vendor/rust/rust/templates/FunctionInitBinding.rusttpl +9 -0
- data/vendor/rust/rust/templates/MethodInitBinding.rusttpl +9 -0
- data/vendor/rust/rust/templates/ModuleDeclarations.rusttpl +3 -0
- data/vendor/rust/rust/templates/ModuleDefinitions.rusttpl +3 -0
- data/vendor/rust/rust/templates/StandaloneClassDeclarations.rusttpl +7 -0
- data/vendor/rust/rust/templates/VariableFunctionCall.rusttpl +14 -0
- data/vendor/rust/rust/type.rb +98 -0
- data/vendor/rust/test/Makefile +4 -0
- data/vendor/rust/test/constants.rb +36 -0
- data/vendor/rust/test/cppclass.cc +45 -0
- data/vendor/rust/test/cppclass.hh +67 -0
- data/vendor/rust/test/cppclass.rb +59 -0
- data/vendor/rust/test/cwrapper.c +74 -0
- data/vendor/rust/test/cwrapper.h +41 -0
- data/vendor/rust/test/cwrapper.rb +56 -0
- data/vendor/rust/test/dummyclass.hh +31 -0
- data/vendor/rust/test/lib/extension-test.rb +98 -0
- data/vendor/rust/test/operators.cc +41 -0
- data/vendor/rust/test/operators.hh +39 -0
- data/vendor/rust/test/operators.rb +39 -0
- data/vendor/rust/test/test-constants.rb +43 -0
- data/vendor/rust/test/test-cppclass.rb +82 -0
- data/vendor/rust/test/test-cwrapper.rb +80 -0
- data/vendor/rust/test/test-operators.rb +42 -0
- metadata +393 -0
@@ -0,0 +1,80 @@
|
|
1
|
+
# Copyright (c) 2007 Diego Pettenò <flameeyes@gmail.com>
|
2
|
+
#
|
3
|
+
# Permission is hereby granted, free of charge, to any person obtaining
|
4
|
+
# a copy of this software and associated documentation files (the
|
5
|
+
# "Software"), to deal in the Software without restriction, including
|
6
|
+
# without limitation the rights to use, copy, modify, merge,
|
7
|
+
# publish, distribute, sublicense, and/or sell copies of the Software,
|
8
|
+
# and to permit persons to whom the Software is furnished to do so,
|
9
|
+
# subject to the following conditions:
|
10
|
+
#
|
11
|
+
# The above copyright notice and this permission notice shall be
|
12
|
+
# included in all copies or substantial portions of the Software.
|
13
|
+
#
|
14
|
+
# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
|
15
|
+
# EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
|
16
|
+
# MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
|
17
|
+
# NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
|
18
|
+
# BE LIABLE
|
19
|
+
# FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF
|
20
|
+
# CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
|
21
|
+
# WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
|
22
|
+
|
23
|
+
|
24
|
+
exit 0 # Disabled
|
25
|
+
|
26
|
+
require 'lib/extension-test'
|
27
|
+
|
28
|
+
module Rust::Test
|
29
|
+
|
30
|
+
class CWrapperTest < Test::Unit::TestCase
|
31
|
+
include ExtensionTest
|
32
|
+
|
33
|
+
def setup
|
34
|
+
extension_setup("cwrapper", "c")
|
35
|
+
|
36
|
+
@instance = RustTestCWrapper::TestClass.new
|
37
|
+
end
|
38
|
+
|
39
|
+
def test_constant
|
40
|
+
assert(RustTestCWrapper::TestConstant == 1985,
|
41
|
+
"The test constant is not set properly.")
|
42
|
+
end
|
43
|
+
|
44
|
+
def test_module_function
|
45
|
+
assert(RustTestCWrapper::get_default_integer == 1985,
|
46
|
+
"The module function is not set properly.")
|
47
|
+
end
|
48
|
+
|
49
|
+
def test_get_integer
|
50
|
+
assert(@instance.get_integer == RustTestCWrapper::get_default_integer,
|
51
|
+
"The get_integer function does not work properly")
|
52
|
+
end
|
53
|
+
|
54
|
+
def test_set_integer
|
55
|
+
@instance.set_integer(1987)
|
56
|
+
assert(@instance.get_integer == 1987,
|
57
|
+
"The set_integer function does not work properly")
|
58
|
+
end
|
59
|
+
|
60
|
+
def test_get_string
|
61
|
+
assert(@instance.get_string == "",
|
62
|
+
"The get_string function does not work properly")
|
63
|
+
end
|
64
|
+
|
65
|
+
def test_set_string_valid
|
66
|
+
assert(@instance.set_string("ciao") == true,
|
67
|
+
"The set_string function does not return true for valid values")
|
68
|
+
assert(@instance.get_string == "ciao",
|
69
|
+
"The set_string function does not work properly")
|
70
|
+
end
|
71
|
+
|
72
|
+
def test_set_string_invalid
|
73
|
+
assert(@instance.set_string("foobar" * 70) == false,
|
74
|
+
"The set_string function does not return true for invalid values")
|
75
|
+
assert(@instance.get_string == "",
|
76
|
+
"The set_string function does not ignore invalid values")
|
77
|
+
end
|
78
|
+
end
|
79
|
+
|
80
|
+
end
|
@@ -0,0 +1,42 @@
|
|
1
|
+
# Copyright (c) 2007 Diego Pettenò <flameeyes@gmail.com>
|
2
|
+
#
|
3
|
+
# Permission is hereby granted, free of charge, to any person obtaining
|
4
|
+
# a copy of this software and associated documentation files (the
|
5
|
+
# "Software"), to deal in the Software without restriction, including
|
6
|
+
# without limitation the rights to use, copy, modify, merge,
|
7
|
+
# publish, distribute, sublicense, and/or sell copies of the Software,
|
8
|
+
# and to permit persons to whom the Software is furnished to do so,
|
9
|
+
# subject to the following conditions:
|
10
|
+
#
|
11
|
+
# The above copyright notice and this permission notice shall be
|
12
|
+
# included in all copies or substantial portions of the Software.
|
13
|
+
#
|
14
|
+
# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
|
15
|
+
# EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
|
16
|
+
# MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
|
17
|
+
# NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
|
18
|
+
# BE LIABLE
|
19
|
+
# FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF
|
20
|
+
# CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
|
21
|
+
# WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
|
22
|
+
|
23
|
+
require 'lib/extension-test'
|
24
|
+
|
25
|
+
module Rust::Test
|
26
|
+
|
27
|
+
class CppClassTest < Test::Unit::TestCase
|
28
|
+
include ExtensionTest
|
29
|
+
|
30
|
+
def setup
|
31
|
+
extension_setup("operators", "cc")
|
32
|
+
|
33
|
+
@instance = RustTestOperators::Operators.new
|
34
|
+
end
|
35
|
+
|
36
|
+
def test_at
|
37
|
+
v = @instance.at(3)
|
38
|
+
assert(v == 3, "must be 3")
|
39
|
+
end
|
40
|
+
end
|
41
|
+
|
42
|
+
end
|
metadata
ADDED
@@ -0,0 +1,393 @@
|
|
1
|
+
--- !ruby/object:Gem::Specification
|
2
|
+
name: gecoder-with-gecode
|
3
|
+
version: !ruby/object:Gem::Version
|
4
|
+
version: 0.9.0
|
5
|
+
platform: x86-mswin32-60
|
6
|
+
authors:
|
7
|
+
- Gecode/R Development Team
|
8
|
+
autorequire:
|
9
|
+
bindir: bin
|
10
|
+
cert_chain: []
|
11
|
+
|
12
|
+
date: 2008-08-19 00:00:00 +02:00
|
13
|
+
default_executable:
|
14
|
+
dependencies: []
|
15
|
+
|
16
|
+
description: Gecode/R is a Ruby interface to the Gecode constraint programming library. Gecode/R is intended for people with no previous experience of constraint programming, aiming to be easy to pick up and use.
|
17
|
+
email: gecoder-users@rubyforge.org
|
18
|
+
executables: []
|
19
|
+
|
20
|
+
extensions: []
|
21
|
+
|
22
|
+
extra_rdoc_files:
|
23
|
+
- README
|
24
|
+
- CHANGES
|
25
|
+
- LGPL-LICENSE
|
26
|
+
- lib/gecoder.rb
|
27
|
+
- lib/gecoder/bindings.rb
|
28
|
+
- lib/gecoder/interface/branch.rb
|
29
|
+
- lib/gecoder/interface/enum_matrix.rb
|
30
|
+
- lib/gecoder/interface/model_sugar.rb
|
31
|
+
- lib/gecoder/interface/search.rb
|
32
|
+
- lib/gecoder/interface/constraints.rb
|
33
|
+
- lib/gecoder/interface/variables.rb
|
34
|
+
- lib/gecoder/interface/enum_wrapper.rb
|
35
|
+
- lib/gecoder/interface/model.rb
|
36
|
+
- lib/gecoder/interface/constraints/set_var_constraints.rb
|
37
|
+
- lib/gecoder/interface/constraints/extensional_regexp.rb
|
38
|
+
- lib/gecoder/interface/constraints/selected_set_constraints.rb
|
39
|
+
- lib/gecoder/interface/constraints/int_enum_constraints.rb
|
40
|
+
- lib/gecoder/interface/constraints/set/channel.rb
|
41
|
+
- lib/gecoder/interface/constraints/set/cardinality.rb
|
42
|
+
- lib/gecoder/interface/constraints/set/include.rb
|
43
|
+
- lib/gecoder/interface/constraints/set/operation.rb
|
44
|
+
- lib/gecoder/interface/constraints/set/connection.rb
|
45
|
+
- lib/gecoder/interface/constraints/set/domain.rb
|
46
|
+
- lib/gecoder/interface/constraints/set/relation.rb
|
47
|
+
- lib/gecoder/interface/constraints/set_elements/relation.rb
|
48
|
+
- lib/gecoder/interface/constraints/fixnum_enum_constraints.rb
|
49
|
+
- lib/gecoder/interface/constraints/int/channel.rb
|
50
|
+
- lib/gecoder/interface/constraints/int/arithmetic.rb
|
51
|
+
- lib/gecoder/interface/constraints/int/linear.rb
|
52
|
+
- lib/gecoder/interface/constraints/int/domain.rb
|
53
|
+
- lib/gecoder/interface/constraints/int/relation.rb
|
54
|
+
- lib/gecoder/interface/constraints/set_enum_constraints.rb
|
55
|
+
- lib/gecoder/interface/constraints/bool/channel.rb
|
56
|
+
- lib/gecoder/interface/constraints/bool/boolean.rb
|
57
|
+
- lib/gecoder/interface/constraints/bool/linear.rb
|
58
|
+
- lib/gecoder/interface/constraints/int_enum/channel.rb
|
59
|
+
- lib/gecoder/interface/constraints/int_enum/distinct.rb
|
60
|
+
- lib/gecoder/interface/constraints/int_enum/element.rb
|
61
|
+
- lib/gecoder/interface/constraints/int_enum/arithmetic.rb
|
62
|
+
- lib/gecoder/interface/constraints/int_enum/count.rb
|
63
|
+
- lib/gecoder/interface/constraints/int_enum/extensional.rb
|
64
|
+
- lib/gecoder/interface/constraints/int_enum/equality.rb
|
65
|
+
- lib/gecoder/interface/constraints/int_enum/sort.rb
|
66
|
+
- lib/gecoder/interface/constraints/set_elements_constraints.rb
|
67
|
+
- lib/gecoder/interface/constraints/bool_var_constraints.rb
|
68
|
+
- lib/gecoder/interface/constraints/bool_enum_constraints.rb
|
69
|
+
- lib/gecoder/interface/constraints/selected_set/select.rb
|
70
|
+
- lib/gecoder/interface/constraints/fixnum_enum/element.rb
|
71
|
+
- lib/gecoder/interface/constraints/fixnum_enum/operation.rb
|
72
|
+
- lib/gecoder/interface/constraints/bool_enum/channel.rb
|
73
|
+
- lib/gecoder/interface/constraints/bool_enum/extensional.rb
|
74
|
+
- lib/gecoder/interface/constraints/bool_enum/relation.rb
|
75
|
+
- lib/gecoder/interface/constraints/int_var_constraints.rb
|
76
|
+
- lib/gecoder/interface/constraints/reifiable_constraints.rb
|
77
|
+
- lib/gecoder/interface/constraints/set_enum/channel.rb
|
78
|
+
- lib/gecoder/interface/constraints/set_enum/select.rb
|
79
|
+
- lib/gecoder/interface/constraints/set_enum/distinct.rb
|
80
|
+
- lib/gecoder/interface/constraints/set_enum/operation.rb
|
81
|
+
- lib/gecoder/interface/binding_changes.rb
|
82
|
+
- lib/gecoder/version.rb
|
83
|
+
- lib/gecoder/interface.rb
|
84
|
+
- lib/gecoder/bindings/bindings.rb
|
85
|
+
files:
|
86
|
+
- README
|
87
|
+
- LGPL-LICENSE
|
88
|
+
- CHANGES
|
89
|
+
- COPYING
|
90
|
+
- Rakefile
|
91
|
+
- lib/gecoder.rb
|
92
|
+
- lib/gecoder/bindings.rb
|
93
|
+
- lib/gecoder/interface/branch.rb
|
94
|
+
- lib/gecoder/interface/enum_matrix.rb
|
95
|
+
- lib/gecoder/interface/model_sugar.rb
|
96
|
+
- lib/gecoder/interface/search.rb
|
97
|
+
- lib/gecoder/interface/constraints.rb
|
98
|
+
- lib/gecoder/interface/variables.rb
|
99
|
+
- lib/gecoder/interface/enum_wrapper.rb
|
100
|
+
- lib/gecoder/interface/model.rb
|
101
|
+
- lib/gecoder/interface/constraints/set_var_constraints.rb
|
102
|
+
- lib/gecoder/interface/constraints/extensional_regexp.rb
|
103
|
+
- lib/gecoder/interface/constraints/selected_set_constraints.rb
|
104
|
+
- lib/gecoder/interface/constraints/int_enum_constraints.rb
|
105
|
+
- lib/gecoder/interface/constraints/set/channel.rb
|
106
|
+
- lib/gecoder/interface/constraints/set/cardinality.rb
|
107
|
+
- lib/gecoder/interface/constraints/set/include.rb
|
108
|
+
- lib/gecoder/interface/constraints/set/operation.rb
|
109
|
+
- lib/gecoder/interface/constraints/set/connection.rb
|
110
|
+
- lib/gecoder/interface/constraints/set/domain.rb
|
111
|
+
- lib/gecoder/interface/constraints/set/relation.rb
|
112
|
+
- lib/gecoder/interface/constraints/set_elements/relation.rb
|
113
|
+
- lib/gecoder/interface/constraints/fixnum_enum_constraints.rb
|
114
|
+
- lib/gecoder/interface/constraints/int/channel.rb
|
115
|
+
- lib/gecoder/interface/constraints/int/arithmetic.rb
|
116
|
+
- lib/gecoder/interface/constraints/int/linear.rb
|
117
|
+
- lib/gecoder/interface/constraints/int/domain.rb
|
118
|
+
- lib/gecoder/interface/constraints/int/relation.rb
|
119
|
+
- lib/gecoder/interface/constraints/set_enum_constraints.rb
|
120
|
+
- lib/gecoder/interface/constraints/bool/channel.rb
|
121
|
+
- lib/gecoder/interface/constraints/bool/boolean.rb
|
122
|
+
- lib/gecoder/interface/constraints/bool/linear.rb
|
123
|
+
- lib/gecoder/interface/constraints/int_enum/channel.rb
|
124
|
+
- lib/gecoder/interface/constraints/int_enum/distinct.rb
|
125
|
+
- lib/gecoder/interface/constraints/int_enum/element.rb
|
126
|
+
- lib/gecoder/interface/constraints/int_enum/arithmetic.rb
|
127
|
+
- lib/gecoder/interface/constraints/int_enum/count.rb
|
128
|
+
- lib/gecoder/interface/constraints/int_enum/extensional.rb
|
129
|
+
- lib/gecoder/interface/constraints/int_enum/equality.rb
|
130
|
+
- lib/gecoder/interface/constraints/int_enum/sort.rb
|
131
|
+
- lib/gecoder/interface/constraints/set_elements_constraints.rb
|
132
|
+
- lib/gecoder/interface/constraints/bool_var_constraints.rb
|
133
|
+
- lib/gecoder/interface/constraints/bool_enum_constraints.rb
|
134
|
+
- lib/gecoder/interface/constraints/selected_set/select.rb
|
135
|
+
- lib/gecoder/interface/constraints/fixnum_enum/element.rb
|
136
|
+
- lib/gecoder/interface/constraints/fixnum_enum/operation.rb
|
137
|
+
- lib/gecoder/interface/constraints/bool_enum/channel.rb
|
138
|
+
- lib/gecoder/interface/constraints/bool_enum/extensional.rb
|
139
|
+
- lib/gecoder/interface/constraints/bool_enum/relation.rb
|
140
|
+
- lib/gecoder/interface/constraints/int_var_constraints.rb
|
141
|
+
- lib/gecoder/interface/constraints/reifiable_constraints.rb
|
142
|
+
- lib/gecoder/interface/constraints/set_enum/channel.rb
|
143
|
+
- lib/gecoder/interface/constraints/set_enum/select.rb
|
144
|
+
- lib/gecoder/interface/constraints/set_enum/distinct.rb
|
145
|
+
- lib/gecoder/interface/constraints/set_enum/operation.rb
|
146
|
+
- lib/gecoder/interface/binding_changes.rb
|
147
|
+
- lib/gecoder/version.rb
|
148
|
+
- lib/gecoder/interface.rb
|
149
|
+
- lib/gecoder/bindings/bindings.rb
|
150
|
+
- example/queens.rb
|
151
|
+
- example/equation_system.rb
|
152
|
+
- example/send_most_money.rb
|
153
|
+
- example/magic_sequence.rb
|
154
|
+
- example/send_more_money.rb
|
155
|
+
- example/sudoku-set.rb
|
156
|
+
- example/sudoku.rb
|
157
|
+
- example/square_tiling.rb
|
158
|
+
- example/example_helper.rb
|
159
|
+
- example/money.rb
|
160
|
+
- vendor/rust/bin
|
161
|
+
- vendor/rust/bin/cxxgenerator.rb
|
162
|
+
- vendor/rust/README
|
163
|
+
- vendor/rust/rust
|
164
|
+
- vendor/rust/rust/cwrapper.rb
|
165
|
+
- vendor/rust/rust/bindings.rb
|
166
|
+
- vendor/rust/rust/element.rb
|
167
|
+
- vendor/rust/rust/cxxclass.rb
|
168
|
+
- vendor/rust/rust/type.rb
|
169
|
+
- vendor/rust/rust/class.rb
|
170
|
+
- vendor/rust/rust/container.rb
|
171
|
+
- vendor/rust/rust/templates
|
172
|
+
- vendor/rust/rust/templates/ModuleDeclarations.rusttpl
|
173
|
+
- vendor/rust/rust/templates/EnumDeclarations.rusttpl
|
174
|
+
- vendor/rust/rust/templates/BindingsUnit.rusttpl
|
175
|
+
- vendor/rust/rust/templates/ConstructorStub.rusttpl
|
176
|
+
- vendor/rust/rust/templates/EnumDefinitions.rusttpl
|
177
|
+
- vendor/rust/rust/templates/FunctionInitBinding.rusttpl
|
178
|
+
- vendor/rust/rust/templates/CWrapperClassDefinitions.rusttpl
|
179
|
+
- vendor/rust/rust/templates/FunctionInitAlias.rusttpl
|
180
|
+
- vendor/rust/rust/templates/ClassInitialize.rusttpl
|
181
|
+
- vendor/rust/rust/templates/ClassDeclarations.rusttpl
|
182
|
+
- vendor/rust/rust/templates/CxxStandaloneClassDefinitions.rusttpl
|
183
|
+
- vendor/rust/rust/templates/CxxMethodStub.rusttpl
|
184
|
+
- vendor/rust/rust/templates/MethodInitBinding.rusttpl
|
185
|
+
- vendor/rust/rust/templates/ModuleDefinitions.rusttpl
|
186
|
+
- vendor/rust/rust/templates/VariableFunctionCall.rusttpl
|
187
|
+
- vendor/rust/rust/templates/AttributeInitBinding.rusttpl
|
188
|
+
- vendor/rust/rust/templates/BindingsHeader.rusttpl
|
189
|
+
- vendor/rust/rust/templates/StandaloneClassDeclarations.rusttpl
|
190
|
+
- vendor/rust/rust/templates/FunctionDefinition.rusttpl
|
191
|
+
- vendor/rust/rust/templates/AttributeDefinition.rusttpl
|
192
|
+
- vendor/rust/rust/templates/CxxClassDefinitions.rusttpl
|
193
|
+
- vendor/rust/rust/cppifaceparser.rb
|
194
|
+
- vendor/rust/rust/constants.rb
|
195
|
+
- vendor/rust/rust/attribute.rb
|
196
|
+
- vendor/rust/rust/namespace.rb
|
197
|
+
- vendor/rust/rust/enum.rb
|
198
|
+
- vendor/rust/rust/function.rb
|
199
|
+
- vendor/rust/test
|
200
|
+
- vendor/rust/test/cppclass.rb
|
201
|
+
- vendor/rust/test/cwrapper.h
|
202
|
+
- vendor/rust/test/test-constants.rb
|
203
|
+
- vendor/rust/test/cwrapper.rb
|
204
|
+
- vendor/rust/test/operators.hh
|
205
|
+
- vendor/rust/test/cppclass.cc
|
206
|
+
- vendor/rust/test/Makefile
|
207
|
+
- vendor/rust/test/test-cppclass.rb
|
208
|
+
- vendor/rust/test/operators.rb
|
209
|
+
- vendor/rust/test/cppclass.hh
|
210
|
+
- vendor/rust/test/dummyclass.hh
|
211
|
+
- vendor/rust/test/operators.cc
|
212
|
+
- vendor/rust/test/constants.rb
|
213
|
+
- vendor/rust/test/test-cwrapper.rb
|
214
|
+
- vendor/rust/test/cwrapper.c
|
215
|
+
- vendor/rust/test/lib
|
216
|
+
- vendor/rust/test/lib/extension-test.rb
|
217
|
+
- vendor/rust/test/test-operators.rb
|
218
|
+
- vendor/rust/include
|
219
|
+
- vendor/rust/include/rust_checks.hh
|
220
|
+
- vendor/rust/include/rust_conversions.hh
|
221
|
+
- vendor/rust/rust.rb
|
222
|
+
- tasks/website.rake
|
223
|
+
- tasks/specs.rake
|
224
|
+
- tasks/svn.rake
|
225
|
+
- tasks/rcov.rake
|
226
|
+
- tasks/all_tasks.rb
|
227
|
+
- tasks/dependencies.txt
|
228
|
+
- tasks/distribution.rake
|
229
|
+
- specs/logging.rb
|
230
|
+
- specs/branch.rb
|
231
|
+
- specs/enum_matrix.rb
|
232
|
+
- specs/model_sugar.rb
|
233
|
+
- specs/search.rb
|
234
|
+
- specs/bool_var.rb
|
235
|
+
- specs/set_elements.rb
|
236
|
+
- specs/distribution.rb
|
237
|
+
- specs/spec_helper.rb
|
238
|
+
- specs/int_var.rb
|
239
|
+
- specs/enum_wrapper.rb
|
240
|
+
- specs/model.rb
|
241
|
+
- specs/set_var.rb
|
242
|
+
- specs/selected_set.rb
|
243
|
+
- specs/constraints
|
244
|
+
- specs/constraints/property_helper.rb
|
245
|
+
- specs/constraints/set
|
246
|
+
- specs/constraints/set/channel.rb
|
247
|
+
- specs/constraints/set/cardinality_properties.rb
|
248
|
+
- specs/constraints/set/cardinality.rb
|
249
|
+
- specs/constraints/set/include.rb
|
250
|
+
- specs/constraints/set/operation.rb
|
251
|
+
- specs/constraints/set/connection.rb
|
252
|
+
- specs/constraints/set/domain.rb
|
253
|
+
- specs/constraints/set/relation.rb
|
254
|
+
- specs/constraints/set_elements
|
255
|
+
- specs/constraints/set_elements/relation.rb
|
256
|
+
- specs/constraints/int
|
257
|
+
- specs/constraints/int/channel.rb
|
258
|
+
- specs/constraints/int/arithmetic.rb
|
259
|
+
- specs/constraints/int/linear_properties.rb
|
260
|
+
- specs/constraints/int/linear.rb
|
261
|
+
- specs/constraints/int/domain.rb
|
262
|
+
- specs/constraints/int/relation.rb
|
263
|
+
- specs/constraints/constraints.rb
|
264
|
+
- specs/constraints/bool
|
265
|
+
- specs/constraints/bool/boolean_properties.rb
|
266
|
+
- specs/constraints/bool/boolean.rb
|
267
|
+
- specs/constraints/bool/linear.rb
|
268
|
+
- specs/constraints/int_enum
|
269
|
+
- specs/constraints/int_enum/channel.rb
|
270
|
+
- specs/constraints/int_enum/distinct.rb
|
271
|
+
- specs/constraints/int_enum/element.rb
|
272
|
+
- specs/constraints/int_enum/arithmetic.rb
|
273
|
+
- specs/constraints/int_enum/count.rb
|
274
|
+
- specs/constraints/int_enum/extensional.rb
|
275
|
+
- specs/constraints/int_enum/equality.rb
|
276
|
+
- specs/constraints/int_enum/sort.rb
|
277
|
+
- specs/constraints/constraint_helper.rb
|
278
|
+
- specs/constraints/reification_sugar.rb
|
279
|
+
- specs/constraints/selected_set
|
280
|
+
- specs/constraints/selected_set/select.rb
|
281
|
+
- specs/constraints/selected_set/select_properties.rb
|
282
|
+
- specs/constraints/constraint_receivers.rb
|
283
|
+
- specs/constraints/fixnum_enum
|
284
|
+
- specs/constraints/fixnum_enum/element.rb
|
285
|
+
- specs/constraints/fixnum_enum/operation.rb
|
286
|
+
- specs/constraints/bool_enum
|
287
|
+
- specs/constraints/bool_enum/channel.rb
|
288
|
+
- specs/constraints/bool_enum/bool_enum_relation.rb
|
289
|
+
- specs/constraints/bool_enum/extensional.rb
|
290
|
+
- specs/constraints/operands.rb
|
291
|
+
- specs/constraints/set_enum
|
292
|
+
- specs/constraints/set_enum/channel.rb
|
293
|
+
- specs/constraints/set_enum/select.rb
|
294
|
+
- specs/constraints/set_enum/distinct.rb
|
295
|
+
- specs/constraints/set_enum/operation.rb
|
296
|
+
- specs/examples.rb
|
297
|
+
- vendor/gecode/win32/lib/libgecodeset.dll
|
298
|
+
- vendor/gecode/win32/lib/libgecodeint.dll
|
299
|
+
- vendor/gecode/win32/lib/libgecodesupport.dll
|
300
|
+
- vendor/gecode/win32/lib/libgecodekernel.dll
|
301
|
+
- vendor/gecode/win32/lib/libgecodesearch.dll
|
302
|
+
- vendor/gecode/win32/lib/libgecodeminimodel.dll
|
303
|
+
- lib/gecode.dll
|
304
|
+
has_rdoc: true
|
305
|
+
homepage: http://gecoder.rubyforge.org
|
306
|
+
post_install_message:
|
307
|
+
rdoc_options:
|
308
|
+
- --line-numbers
|
309
|
+
- --inline-source
|
310
|
+
- --accessor
|
311
|
+
- delegate
|
312
|
+
- --main
|
313
|
+
- README
|
314
|
+
require_paths:
|
315
|
+
- lib
|
316
|
+
required_ruby_version: !ruby/object:Gem::Requirement
|
317
|
+
requirements:
|
318
|
+
- - ">="
|
319
|
+
- !ruby/object:Gem::Version
|
320
|
+
version: "0"
|
321
|
+
version:
|
322
|
+
required_rubygems_version: !ruby/object:Gem::Requirement
|
323
|
+
requirements:
|
324
|
+
- - ">="
|
325
|
+
- !ruby/object:Gem::Version
|
326
|
+
version: "0"
|
327
|
+
version:
|
328
|
+
requirements: []
|
329
|
+
|
330
|
+
rubyforge_project: gecoder
|
331
|
+
rubygems_version: 1.2.0
|
332
|
+
signing_key:
|
333
|
+
specification_version: 2
|
334
|
+
summary: Ruby interface to Gecode, an environment for constraint programming.
|
335
|
+
test_files:
|
336
|
+
- specs/logging.rb
|
337
|
+
- specs/branch.rb
|
338
|
+
- specs/enum_matrix.rb
|
339
|
+
- specs/model_sugar.rb
|
340
|
+
- specs/search.rb
|
341
|
+
- specs/bool_var.rb
|
342
|
+
- specs/set_elements.rb
|
343
|
+
- specs/distribution.rb
|
344
|
+
- specs/spec_helper.rb
|
345
|
+
- specs/int_var.rb
|
346
|
+
- specs/enum_wrapper.rb
|
347
|
+
- specs/model.rb
|
348
|
+
- specs/set_var.rb
|
349
|
+
- specs/selected_set.rb
|
350
|
+
- specs/constraints/property_helper.rb
|
351
|
+
- specs/constraints/set/channel.rb
|
352
|
+
- specs/constraints/set/cardinality_properties.rb
|
353
|
+
- specs/constraints/set/cardinality.rb
|
354
|
+
- specs/constraints/set/include.rb
|
355
|
+
- specs/constraints/set/operation.rb
|
356
|
+
- specs/constraints/set/connection.rb
|
357
|
+
- specs/constraints/set/domain.rb
|
358
|
+
- specs/constraints/set/relation.rb
|
359
|
+
- specs/constraints/set_elements/relation.rb
|
360
|
+
- specs/constraints/int/channel.rb
|
361
|
+
- specs/constraints/int/arithmetic.rb
|
362
|
+
- specs/constraints/int/linear_properties.rb
|
363
|
+
- specs/constraints/int/linear.rb
|
364
|
+
- specs/constraints/int/domain.rb
|
365
|
+
- specs/constraints/int/relation.rb
|
366
|
+
- specs/constraints/constraints.rb
|
367
|
+
- specs/constraints/bool/boolean_properties.rb
|
368
|
+
- specs/constraints/bool/boolean.rb
|
369
|
+
- specs/constraints/bool/linear.rb
|
370
|
+
- specs/constraints/int_enum/channel.rb
|
371
|
+
- specs/constraints/int_enum/distinct.rb
|
372
|
+
- specs/constraints/int_enum/element.rb
|
373
|
+
- specs/constraints/int_enum/arithmetic.rb
|
374
|
+
- specs/constraints/int_enum/count.rb
|
375
|
+
- specs/constraints/int_enum/extensional.rb
|
376
|
+
- specs/constraints/int_enum/equality.rb
|
377
|
+
- specs/constraints/int_enum/sort.rb
|
378
|
+
- specs/constraints/constraint_helper.rb
|
379
|
+
- specs/constraints/reification_sugar.rb
|
380
|
+
- specs/constraints/selected_set/select.rb
|
381
|
+
- specs/constraints/selected_set/select_properties.rb
|
382
|
+
- specs/constraints/constraint_receivers.rb
|
383
|
+
- specs/constraints/fixnum_enum/element.rb
|
384
|
+
- specs/constraints/fixnum_enum/operation.rb
|
385
|
+
- specs/constraints/bool_enum/channel.rb
|
386
|
+
- specs/constraints/bool_enum/bool_enum_relation.rb
|
387
|
+
- specs/constraints/bool_enum/extensional.rb
|
388
|
+
- specs/constraints/operands.rb
|
389
|
+
- specs/constraints/set_enum/channel.rb
|
390
|
+
- specs/constraints/set_enum/select.rb
|
391
|
+
- specs/constraints/set_enum/distinct.rb
|
392
|
+
- specs/constraints/set_enum/operation.rb
|
393
|
+
- specs/examples.rb
|