falcong / or-tools

Automatically exported from code.google.com/p/or-tools
0 stars 0 forks source link

Floats not supported in bin/fz (Flatzinc)? #51

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
What steps will reproduce the problem?
1. Generate a test.mzn with content "var 0.0..10.0: test1;output 
[show(test1)];solve satisfy;"
2. Generate test.fzn wit command "mzn2fzn test.mzn"
3. try to solve it with or-tools flatzinc-solver: ./bin/fz test.fzn

What is the expected output? What do you see instead?
> I expect a result, but I get "Error: syntax error, unexpected FZ_FLOAT_LIT in 
line no. 1"

What version of the product are you using? On what operating system?
> trunk of yesterday

Please provide any additional information below.
> -

Original issue reported on code.google.com by a.schupp...@gmail.com on 13 Oct 2014 at 8:51

GoogleCodeExporter commented 9 years ago
Sorry: OS is Linux, 64bit (Ubuntu 14.04), binary is self-compiled

Original comment by a.schupp...@gmail.com on 13 Oct 2014 at 8:53

GoogleCodeExporter commented 9 years ago
The CP solver does not support floats, and there are no plans for it.
Sorry

Original comment by laurent....@gmail.com on 24 Oct 2014 at 6:36