Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
SAT4J
sat4j
Commits
37e71508
Commit
37e71508
authored
Jun 06, 2017
by
Lonca Emmanuel
Browse files
Fixed a bug that made crash the solver for some constraints.
parent
7d772f7c
Pipeline
#173
failed with stage
in 18 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
org.sat4j.csp/src/main/java/org/sat4j/csp/constraints3/CountingCtrBuilder.java
View file @
37e71508
...
...
@@ -213,7 +213,7 @@ public class CountingCtrBuilder {
}
public
boolean
buildCtrNotAllEqual
(
String
id
,
XVarInteger
[]
list
)
{
return
buildCtrNValues
(
id
,
list
,
new
StringCondition
(
"ne("
,
","
+
Integer
.
toString
(
list
.
length
)+
""
));
return
buildCtrNValues
(
id
,
list
,
new
StringCondition
(
"ne("
,
","
+
Integer
.
toString
(
list
.
length
)+
"
)
"
));
}
public
boolean
buildCtrCardinality
(
String
id
,
XVarInteger
[]
list
,
boolean
closed
,
int
[]
values
,
XVarInteger
[]
occurs
)
{
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment