Comments (7)
jgFages
commented on July 23, 2024
We use finite domains, so if no bound is specified, we create large but still finite ones. We don't have the "unbounded" output
from choco-parsers.
pchtsp
commented on July 23, 2024
Of course, I should know that variable domains need to be bounded in CP. Thanks!
For the other two, could you please tell me if there's anything wrong with the files? that way we can fix it and try to publish the new version of pulp soon.
Thanks!
F.
from choco-parsers.
jgFages
commented on July 23, 2024
I only have my phone with me so I cannot even open the zip.
Test9 looks like there is a bug... Does it include reals?
Test11 if some variables have no specified bounds... It could come from default bounds of choco solver
from choco-parsers.
pchtsp
commented on July 23, 2024
Just saw that the Test09 appears to be a difference between the mps and the lp file generated by pulp. The mps appears to be feasible while the lp is not. Below are the Test09 and Test11 examples. Can you still take a look at Test11?
thanks!
F.
Test09
*SENSE:Minimize
NAME test09
ROWS
N obj
G c1
G c2
E c3
G c4
COLUMNS
w c4 1.000000000000e+00
x c2 1.000000000000e+00
x obj 1.000000000000e+00
y c3 -1.000000000000e+00
y obj 4.000000000000e+00
z c2 1.000000000000e+00
z c3 1.000000000000e+00
z obj 9.000000000000e+00
RHS
RHS c1 5.000000000000e+00
RHS c2 1.000000000000e+01
RHS c3 7.000000000000e+00
RHS c4 0.000000000000e+00
BOUNDS
UP BND x 4.000000000000e+00
LO BND y -1.000000000000e+00
UP BND y 1.000000000000e+00
ENDATA
or, in lp:
\* test09 *\
Minimize
obj: x + 4 y + 9 z
Subject To
_dummy: __dummy = 0
c1: __dummy >= 5
c2: x + z >= 10
c3: - y + z = 7
c4: w >= 0
Bounds
__dummy = 0
x <= 4
-1 <= y <= 1
End
Test11
*SENSE:Maximize
NAME test011
ROWS
N obj
L c1
G c2
E c3
G c4
COLUMNS
w c4 1.000000000000e+00
x c1 1.000000000000e+00
x c2 1.000000000000e+00
x obj 1.000000000000e+00
y c1 1.000000000000e+00
y c3 -1.000000000000e+00
y obj 4.000000000000e+00
z c2 1.000000000000e+00
z c3 1.000000000000e+00
z obj 9.000000000000e+00
RHS
RHS c1 5.000000000000e+00
RHS c2 1.000000000000e+01
RHS c3 7.000000000000e+00
RHS c4 0.000000000000e+00
BOUNDS
UP BND x 4.000000000000e+00
LO BND y -1.000000000000e+00
UP BND y 1.000000000000e+00
ENDATA
or, in lp:
\* test011 *\
Maximize
obj: x + 4 y + 9 z
Subject To
c1: x + y <= 5
c2: x + z >= 10
c3: - y + z = 7
c4: w >= 0
Bounds
x <= 4
-1 <= y <= 1
End
optimal solution is: {x:4, y:1, z:8, w:0}
choco gives: {w: 0, x: 4, y: -1, z: 6}
from choco-parsers.
cprudhom
commented on July 23, 2024
About Test11, I bet this comes from the fact that the OF has to be maximized.
In MPS file, there is no such instruction and we consider OF as minimization by default.
When it comes to maximization, the "-max" option should be added.
With that option on, that gives:
w 0.0
x 3.9999549755859505
y 0.9999887438964876
z 7.999994997287327
which seems correct, right ?
from choco-parsers.
cprudhom
commented on July 23, 2024
In other words, we do not parse *SENSE:Maximize
from choco-parsers.
pchtsp
commented on July 23, 2024
Ah ! That's the optimal one, yes.
I'll adapt the call to give the parameter explicitly.
Thanks both for the help. I'll close the issue when I get to my pc.
F.
…On Tue, Apr 3, 2018, 13:56 cprudhom ***@***.***> wrote:
In other words, we do not parse *SENSE:Maximize
—
You are receiving this because you authored the thread.
Reply to this email directly, view it on GitHub
<#16 (comment)>,
or mute the thread
<https://github.com/notifications/unsubscribe-auth/AFNM8w71z-hzC5kh_CC4IuuTN3hxx6Fcks5tk2N1gaJpZM4TBdJ1>
.
from choco-parsers.
Related Issues (18)
- Ease parser access
- "-a" prints twice the last solution
- update license text with IMT Atlantique
- Error in Knapsack cstr
- Export a choco model to XCSP3 HOT 1
- XCSP: Build problem? HOT 7
- Connecting choco with PuLP HOT 13
- write solution (and possibly logging) into file HOT 4
- Infinite solving time while using "-a -bb 3" options HOT 1
- Simplify options/configuration of the parsed model HOT 2
- Move parallel process from choco-parsers to choco-solver
- Define free search
- Enable SetVar
- java 1.8 needed and wrong package for FZNLayout HOT 3
- Error when there is no strategy in fzn file
- Invalid description pom.xml
- Reading XCSP3 files HOT 2
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from choco-parsers.