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
ee099a46
Commit
ee099a46
authored
Nov 12, 2018
by
Daniel Le Berre
Browse files
Fix for
#127
parent
2e3dde80
Changes
1
Hide whitespace changes
Inline
Side-by-side
org.sat4j.pb/src/main/java/org/sat4j/pb/OPBStringSolver.java
View file @
ee099a46
...
...
@@ -194,7 +194,7 @@ public class OPBStringSolver extends DimacsStringSolver implements IPBSolver {
tmp
.
append
(
nVars
());
tmp
.
append
(
" #constraint= "
);
tmp
.
append
(
this
.
nbOfConstraints
);
if
(
this
.
obj
!=
null
)
{
if
(
this
.
obj
!=
null
&&
!
this
.
obj
.
getCoeffs
().
isEmpty
()
)
{
tmp
.
append
(
"\n"
);
tmp
.
append
(
"min: "
);
tmp
.
append
(
this
.
obj
);
...
...
Write
Preview
Markdown
is supported
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