1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915
|
3.7.0 23. November 2025 Release
- added permute(S) to generate permutations
- increased minimal required cmake version to 3.11
3.6.2 14. September 2024 Release
- have cmake check for PCRE also if ZLIB is found in MSVC builds
- have cmake look also for PCRE libs with -static name suffix
3.6.1 21. June 2024 Release
- added penalty7 and penalty8
3.6.0 1. May 2024 Release
- fixed some bugs with qubo attribute.
- fixed bug in memory management for consecutive runs
- add compile option -ffp-contract=off or /fp:precise to enhance reproducibility across different systems
3.5.2 23. June 2022 Release
- added penalty1..6 to qubo attribute
- Fixed bug in term_simplyfy
3.5.1 January 2022 no realeased
- fix bug related to qudratic objective
3.5.0 7. November 2021 Release
- Non linear objective functions are allowed.
xlp interface slightly changed.
- New file format qbo which writes out a QUBO file.
Warning: This format is subject to change.
- New "qubo" constraint attribute, which tries to convert the
constraint into a qubo. So far only sum of binary variables
equals one can be convertet. More planned.
- Lots of code style changes and attributes etc.
3.4.0 June 2020 Release
- Started to put in function attributes for gcc/clang
- Support for pclint 1.3.5
- Now possible to have "default" without any non default values.
- Improved compiler warning settings
- Fixed possible bug with setjump/longjump
- Fixed very old bug in strstore2.
- do print can now also print boolean values.
3.3.9 30. March 2020 Release
- added -n option to internal call via SCIP.
- corrected typo in documentation
- fixed wrong warning about sprintf()
- fixed bug wit quadratic constraints multiplied by 0
- added note about scope to documentation
- added -fvisibility=hidden to shared gcc builds
3.3.8 10. July 2019 Release
- improved CMake
3.3.6 30. May 2018 Release
- fixed bug not restoring gmp memory functions
when using zimpl as a library
- Zimpl now should be able to handle sets with more
than 2 billion entries.
3.3.5 04. Feb 2018 Release
- changed to C99
- changed to PClint+ (in progress)
- Removed more cppcheck messages
- Fixed minor issues in the documentation found by Laurent Poirrier
- Fixed strange behaviour when encountering another objective function.
- Replaced my bool.h by stdbool.h
3.3.4 8. Mar 2017 Release
- added cppcheck target to makefile
- scan-build make OPT=dbg works
- Corrected the spacing of the NAME field in MPS output.
- Fixed bug in library call regarding setting
the random seed by arguments.
- Fixed two bugs in the examples of the documentation
found by Maximilian Ernestus
3.3.3 1. Jul 2015 Release
- Added Windows Makefile.
3.3.2 27. Feb 2014 Release
- All -O6 changed to -O3 in submakefiles.
- ZLIB=false works now.
- Fixed bug when vif then or else is used with an
non-linear function.
- Fixed bug when using indicators with vif
- Fixed bug that appeared when asking a param with a
ranged index set and a default for a string entry.
3.3.1 9. Dec 2012 Release
- Fixed bug when reading wrong index type.
- Fixed bug with constants in non-linear expresions.
3.3.0 29. Jul 2012 Release
- Added support for functions sqrt, exp, pow, log,
ln, sgn, sgnpow, sin, cos, tan, abs
in non-linear case.
- Fixed bug with indicator constraints and >=
3.2.0 29. Oct 2011 Release
- There are new Makefile variables SHARED and STATIC.
If set either of them to true Zimpl will in some case
be generated as a shared library or completly statically
linked. Works for the moment for most gcc based targets.
- Replaced a quadratic routine that could lead
to excessive running times when generating constraints
with many coefficients.
- Restructured and documented the xlpglue interface.
The documentation can not be generated by
make doxygen
- Removed the presolving option. This will be done
at a later time in an independend program.
- Made sure all warnings get silenced by -v0
- Error 195 Genuine empty index set has been changed
to Warning 195.
- Zimpl now needs about 780 KB less stack space
when using a read statement.
- round() was working wrong with negative numbers.
It shoud be now rounding to nearest integer by
rounding half away from zero.
- Implemented grouping of constraints. If two or more
constraints are connected by "and" they can be used
together within a forall or if.
- It is now possible to conditional constraints without
an else part.
- Fixed bug in lp-file writer. Quadratic constraints are
not to be divided by 2. Only objective functions.
3.1.0 30. Sep 2010 Release
- Changed License to LGPL Version 3
- Improved Documentation: Thanks Tuomo!
- Experimental support for non-linear constraints.
x*y*z and x^3 should work. Output either directly
through the interface or in PIP format.
- Reworked the file writing routines. Now supports
PIP format. HUM and RLP format updated.
- Fixed a bug that would happen in certain cases if a param
is overridden by the commandline.
- Fixed a bug in certain vif-then-else constructs.
- Fixed a bug in the implementation of the xor operator on
variables.
- Speed up term processing significantly. Mostly needed for computer
generated Zimpl programs with long explicit sums.
- Possibly improved correct computation of operator precedences.
- Parenthesis '(' ')' are now needed after min/max if no expression is evaluated.
- Fixed bug in grammar: parse error at min({1..3})+2
3.0.0 10. Sep 2009 Release
- New attribut for constraints: indicator
If vif is part of the constraint it is modelled as an
indicator constraint and not by an big-M formulation.
- It is now possible to give attributes also to constraints
which use vif.
- New attribut for constraints: checkonly. Meaning as follows:
separate: do not include in initial LP, separate later on,
need not to be checked for feasibility
-> usercut in CPLEX
-> init=False,separate=True,check=False in SCIP
checkonly: do not include in initial LP, separate only to
check for feasibility.
-> Lazy cut in CPLEX
-> init=False,separate=False,check=True in SCIP
It is possible to set both attributes. This will result
in init=False,separate=True,check=True in SCIP and for
the constraint to appear both in the User Cut and the
Lazy Cut section in the LP file.
- Fixed bug with extended functions in the objective
- When using zpl_read* it is now possible to select whether
Zimpl is doing GMP memory management.
- Fixed bug in zpl_read_with_args
- Constant computation are now pruned and not done repeatedly
- Changed version naming scheme
- Improved position of error pointer for some 133 errors
2.09 23. April 2009 Release
- Fixed a bug leading to crashes at the end
of the program especially on x86-64.
- New round() function rounding towards zero.
- It is now possible to read empty files.
2.08 26. Sep 2008 Release
- Implemented subset(A, 3, 5) giving the all subsets with
3, 4, and 5 elements.
- Line length of program output as comment limited to 128 chars.
- Updated SOS output. Now included into LPF and MPS output.
No explicit .sos file is written anymore.
2.07 24. Aug 2007 Release
- Fixed a bug in the new memory handling code.
- Some changes in Makefiles, etc. to make it compatible
with the ZIB Optimization Suite 1.0
2.06 02. Aug 2007 Release
- If a variable is printed with "do print" the type and bounds
of the variable are also given.
- Implemented concatenating strings with the "+" operator.
"hallo " + "wie" -> "hallo wie".
- Removed a small bug which lead to incorrect variable names
in the .tbl file if -l was used.
- It is now possible to write out several strings and numbers
with one PRINT statement. E.g.: do print "x= ", x, " m/s"
- Improved memory handling for strings, tuples, and lists.
- Implemented new file format RLP which permutes the
order of the constraint and variables.
- New parameter match "regular_expression" to the read
function. If given, only those lines are read, which
match the given expression.
- New function substr(string_expression, start, length)
returns the substring starting at start with the
given length. In case start is negative, it is counted
from the end of the string.
- New function length(string_expression) returns the
length of the string.
- It is now possible to override a parameter value
given in the Zimpl file with a command line -Dname=value.
- Improved processing of initializer list for parameters and sets.
Removed stack overflow for very long lists.
- It is now possible to write
var x <= if (test == 7) then 8 else infinity end;
and similar.
- Implemented "implicit" for binary and integer variables.
- "{ }", "{ }", etc are now recognised as empty sets,
not only "{}". Same for "<>".
- The Zimpl-model is writte to the LP files as a comment.
- It is now possible to have the output of a command as
input to Zimpl.
zimpl -P "cpp -DXXX=7 %s" test1.zpl
will run test1.zpl through cpp with option -DXXX=7 and
give the output to Zimpl.
- A warning 215 is issued if the given start values violate a
constraint.
- If a .mst or .ord file is written, the constraints are tested
against the given start values and a warning 215 is issued
if a constraint is violated.
- New product operator:
prod <i> in I : p[i]
computes the product of all p[i].
2.05 18. Sep 2006 Release
- it is now possible to write just
min A or max B for a one dimensional set of numbers
to get the minimum/maximum number of the set.
- The maximum length for variable names can now be set with the
"-l length" command line option.
- If verbose is set to Normal (1) or Verbose (2)
warnings are only given once per statement.
- Fixed wrong precedence of ^ operator.
- Using the Zimpl library without gmp is now possible.
make libdbl will generate a Zimpl library that uses
numbdbl.c instead of numbgmp.c. Be aware that the code
is not testet and that using doubles has a lot of nasty
problems, like what happens when you compare two numbers.
- It is now possible to define function that have a
boolen value, like
defbool(a,b) := a != b and (a > 5 or c <= 7);
- If boolean-expr THEN boolean-expr ELSE boolean-expr END
is now possible.
- It is now possible to read all values in a file
into a set. { read "data.dat" as "<s+>" } will
real all values one after the other and put them
into the set. "<n+>" also works.
- Fixed several bugs that occured when
reading lines longer than 8192 bytes long.
- New function "zpl_read_with_args" to allow
processing of command line defines, -s seed and
multi file input in embedded apllications.
- Funktions argmin/argmax implemented:
argmin(5) <i> in { 1 .. 100 } : abs(50 - i)
will generate the set containing the indices of the
five smallest |50-i| evaluations. Be aware that the
the result is not neseccarily unambiguous since the index
set i snot ordered. For example
argmin <i> in { 1 .. 10 } : 5.
In case of argmin(1) the "(1)" can be omitted.
argmax is the same the other way around.
- It is now possible to initialise parameters without giving the
index tuple explicitly. Writing
param a[{1..4}*{1..3}] := read "matrix.dat" as "n+" comment "#";
with for example a file like
1 2 3 4
5 6 7 8 # here is a comment
9 10 11 12
or with a file like this
1 2 3 4 5 6 7 8 9 10 11 12
will result in
a[1,1] = 1 ... a[4,3] = 12
Excess elements in the files are ignored.
If there are not enough elements in the file, the elements in the
parameter will be undefined, or set to default if present.
Use "s+" for strings.
- Check was missing if the parameter from a file is indeed a number.
Bug fixed regarding the field number given for tuple fields errors.
- Input from stringfiles is now possible. This
allows to embed Zimpl programs into other programs
without using any external files.
- Small bug in multi iterator validation fixed.
2.04 30. Jan 2006 Release
- Funktion random(minimum, maximum) implemented, which
generates (hopefully) uniformly distributed random values
between minimum and maximum. (not very well tested)
- A warning 203 is generated in many cases when the
indexing tuple is completely fixed.
- Objective function inversion warning for MPS files is
now only issued once.
- A constant value in the objective function is now translated
automatically into a variable __ObjOffset. This works on
all output formats.
- powerset() is now also generating the empty set.
- It is now possible to write:
UNION <i> in I with i > 5 : A[i];
INTER <i> in I with i > 5 : A[i];
to get the union or intersetection of all the involved sets.
- When initialising an indexed set with a list any "with" clause
on the set expresion was ignored.
- Error 195 was the same as 135. It is now all 135.
Error 195 has a new meaning.
- It is now possible to read a single value by
param n := read "huhu.dat" as "4n" skip 4 use 1
The above would read the fourth value in the fifth
line of the file huhu.dat.
- Fixed error in description of -n in -h output and some typos
in the documentation.
- Fixed problem when reading DOS format data files.
The CR at the end of the line is now removed instead of being
attached to the last field.
- Fixed bug with IN operator and Rangesets.
- It is now possible to build sets by indexing an
expression: { <i> in I with i != 3 : p[i] }; or
{ <i,j> in A with i != 3 : <p[i],j+i,2> };
- Special Ordered Sets (SOS) implemented. Thanks Daniel.
- Changed a problem with the -n cf option due to a change in
the LP file format specification.
- Tabs are now allowed as separators after keywords (set, param, ...)
- Control characters (notably CR from DOS files) are now
ignored (treated as space) on input.
- Zimpl is now build as a library to simplify incorporation
into other programs.
2.03 2. Mar 2005 Release
- If -v=0 ist set, most warnings are now suppressed.
- Documentation improved.
- Applying union, minus, intersection, or symmetric
difference to two sets with tuples that have different component
types will now result in a useful error message.
- Fixed a bug that let unknown names evaluate to a member of a set.
Example: subto c1: forall <i> in I do w[k] <= 1;
did not result in an error.
- Fixed a bug that made it possible to put an undefined name in a set.
- There is now a difference between "to" and "..".
"to" tries to do exactly what is requested possibly resulting in
an empty set. ".." does as before its best to produce a range.
- Fixed Bug in print command appearing in connection with default clause.
- Fixed Bug in handling of set products.
- Decreased memory consumption of hash tables.
- Slightly faster string hashing.
- Improved error handling for wrong components in sets.
2.02 15. May 2004 Release
- New function ordinal ord(s,t,c) implemented.
While there is no specific order, all sets have one.
That is ord will evaluate to the c-th component of the t-th
tuple in set s. ord({1..10}*{"a","b"}, 3, 1) is something
between 1 and 10, possibly 3. But doing
do forall <i> in {1..card(I)} do print ord(E,i,1);
will print every element in I if it is one dimensional.
- Improved detection of incorrect initialization of sets and params.
- Bug in mod function fixed. Before mod gave the wrong result,
if the two numbers had factors in common.
- New -m switch that will write a CPLEX MST file with MIP starting values.
- Complete new Set implementation.
- If verbose is >= 3, the local variable
stack is printed if an error occurs.
- Makefile changed to support Mac OS-X.
- New -V flag to show the version number.
-h now also prints the banner text.
- man page created
2.01 29. Oct 2003 Release
- min/max over a indexed set of numbers, will now issue a warning,
if the index set is empty.
- Preprocessing is now switched on with the -O (optimize) switch.
- Fixed a major bug that occured, if two number
were subtracted from a constraint like in x - 5 + 3 >= 1
- Documentation update. Many spelling errors removed.
do print and do check statements documented.
- vif and vabs implemented. See documentation for details.
- set implementation changed. Generated powersets
and subsets do not use a hash table anymore.
This should reduce memory consumption, but
might slow things down a little bit.
- xor implemented.
- Fixed bug in presolve that resulted in fixed
variables not removed.
- Missing linefeed in hum format fixed.
- Implemented "check" statement.
- Implemented the "do" statement. This changes the
syntax for print. It is now "do print".
Now "do forall <i> in I do print i; " is possible.
- Error 163 now shows the location of the error.
(Always start of the line ;-)
- It is now possible to define non indexed parameters
on the command line. -Dpeng=12 is equivalent to
param peng := 12; in the Zimpl file.
- <,<=,>=,> for strings implemented.
- Function sqrt() implemented.
- Functions log(), ln(), exp() reactivated.
- Some error cases of parameter input
were not handled correctly.
- Table input for parameter implemented.
- if for contstraints and summands implemented.
- if for set expressions implemented.
- Self defined functions implemented.
2.00 17. Sep 2003 Release
- Function sgn(expr) implemented.
- Fixed a bug in the set range routine. Now ranges with
negative numbers are allowed.
- Fixed bugs with MPS format.
- New output format "hum" for -t parameter generates unmangled human readable,
maschine unreadble LP format output. This replaces the -m switch.
- Changed -v switch to -v0..3 and also the outputs that appear by default.
- It is now possible to omit the .zpl extension on the input files.
- Changed output routine, so that it should work
even with with braindead OS like Windoof.
Also allowed to use a different directory separator.
- Trailing text on the last line should now draw a message.
- Bug fixed, that resulted in an unreadable LP file
if the index set of the variable has negative numbers.
- Fixed bug, that cut extensions from basenames given by -o .
- Fixed internal bug with bool not function.
- We now get an error message instead of an abort()
if the initialisation list of an parameter is empty.
- New functions min/max that take a list of expression,
like min(2, 5, a[4], b[7] / 2); (a and b are parameters)
- Included zlib. It is now possible to read in .gz transparantly.
- New function exists() that looks if a set has
at least one member, e.g. exists( <i> in I with i > 5 )
should be equivatent to card( { <i> in I with i > 5 }) > 0
- Better diagnosis if a variable/parameter/set name is used a second time.
- It is now possible to have contraint/obective names
that are identical to variable/parameter/set names.
- Changed gererated numbers for long names to hex. This needs less space.
- Names are now 8 characters long for MPS output,
but 16 for LPF. This is accroding to the CPLEX 7.0
specification. Starting at 8.0 it is possible to
have 255 character long names, we want to stay
compatible with the older versions.
- Changed the syntax for set initialisation.
if an indexset is assigned it has to be included in
braces like set A := { <i> in I with i > 5 }
- It is now possible to write { <a> in A with a > 5 }
whenever a set is needed. This means also it is now
possible to nest indexsets, like in
{ <i> in { <k> in C with k > 2 } with i mod 2 == 0 }
- Ranges are now possible: 7 <= 5x + 6 y <= 99
(MPS output not yet here)
- First presolve implemented.
-p now switches on presolve, -F does what -p did before.
- Fixed bug that empty constraints were ignored,
even with a non zero right hand side.
- Changed everything to rational numbers (GMP)
(Funktions exp, log, ln, rand are out of order)
- Fixed that variable which were not part of a constraint,
were omitted in the Bounds section of the LPF/MPS file.
- new -m switch to write unmangled lp file.
1.05 23. Mar 2003 Release
- make check now works.
- Removed senseless default in non indexed parameter.
- New Makefile that allows different architectures in parallel.
- Replaced rbt functions by a hash table. Mainly for portability.
- Fixed bug in print statement that accured when trying to
print a indexed set, without giving an index.
- It is now allowed to use a WITH clause in the initialisation
of parameters, variables and sets, like
param x[<i> in I with i > 5] := i * 4;
- Fixed bug that accured in the following case:
param x[<"1", i> in A] := i * 4;
- The number of elements in a set is now estimated and the
hash table is sized accordingly. This should same some
memory especially with the powerset function.
- Fixed bug in param initialisation which set the type
of the param always to NUMB.
- Changes param initialsation. STRG values are allowed
within indexed intialiszations.
- Changed IF command. It can now handle (in principle) all
types as return values, but only NUMB, STRG, NAME are
allowed by the parser.
- Change the implementation of SUM command. Major speedup.
- Implemented random(min, max) generates a random number between min and max.
At the moment rand() is used, but this will change.
- It is now possible to have a default value for a parameter.
param p[A] := <1> 1, <2> 2 default 99
will declare all p[i] with i in A and not 1 or 2 to return 99.
- Corrected a typo, that resulted in .orf files instead of .ord
- sym_lookup is now resolved in the scanner (speedup).
- Added new flag -p "filter" which pipes the output
through the filter, enabling for example compression.
(Daniels idea)
- The output files will be created in the current directory,
if no -o flag is given. If it is present the name and path
given will be used.
- New possible value infinit/-infinity for upper/lower bounds.
- We might display a warning if writing to a file fails somewhere in the middle.
- When writing MPS there is a warning if the problem was inverted.
- Warning about different dimension tuples prints tuples.
- Tabs are now allowed at the start of a statement.
- Non integral variable bounds for integral Variables are
Warned about and fixed.
- Bug fixed, that would not only set one variable from integer
to binary, but all that would follow in the set also.
- New function powerset(N) implemented. This generates all subsets
of N. Example: set S[] = powerset(N);
- New statement print started.
- Function subsets(N, k) implemented. This generates all
subsets of N with k elements. It is now possible to leave out
the indexing subset in a set declaration. So
set S[] := subsets(N, 3);
is valid. Additional the new function indexset(S) returns the
index set of S.
- Indexed Sets implemented.
- added "!" factorial function.
- log, ln, exp where missing in the parser and the documentation.
1.04 20. Oct 2002 Release
- Bug fixed in storage of variable and constraint names.
- Grammar fixed, since trailing '*' expr of vexpr where not parsed.
- Only variables that are written to the LP are written to the
".tbl" file.
- Fixed a bug that would discard free variables with non zero costs.
- Changed the output of the ".tbl" file. Now also the long constraint
names are enclosed in doublequotes.
- New options -n cm|cn|cf that control how the constraints in the
LPF/MPS file are named. "cm" will number them 1..n with a "c"
in front. "cn" will use the name supplied in the subto statement
and number them 1..n within the statement. "cf" will use the
name of the subto, then a 1..n number like in "cm" and then append
all the local variables from the forall statements.
(It is open if the "f" in "cf" stands for "full" or for "fuegenschuh".)
- Grammar changed again, to allow x/3 as shorthand for x * 1/3
- Changed grammar again, to get rid of conflicts.
- A union B does no longer warn about dublicate elements.
This should also speed up oder set operations a bit.
- The read template syntax is checked more precice.
- Integer variables with bounds [0,1] are automatically changed
to binary variables.
- New function proj(set,tuple) wich projects a set to the elements
of the tuple given. Example:
set A := { 1 to 9 } * { 10 to 19 } * { "A","B" };
set B := proj(A, <3,1>)
will give: <"A",1>, <"A",2"> ... <"B",9>
- Bug fixed, dublicate constraint names now give an error message.
- New functions log(x), ln(x) and exp(x), meaning
logarithm to base 10, natural logarithm and e^x.
- It is now possible to have variables on both sides of an
inequality. "x[1] <= y[1]" is now supported.
- Changed the parser to (hopefully) correct parse inequalites in
all possible varietes. This includes nested sums and coefficents
at all places.
1.03 31. Jul 2002 Release
- A division by Zero now gives an error message
(instead of an exception or whatever)
- It is now possible to assign a qualified set expression
to a set, like
set C := <i,j> in A * B with i < j;
- It is now possible to nest "forall" statements. This
can vastly reduce the memory needed, because it is no
longer neccessary to build big cross products to loop
over them.
So instead of
forall <i,j> in I * J with i < j do
it is possible to write
forall <i> in I do forall <j> in J with i < j do
- elems where now reused, this reduces the memory needed.
- changed to not copy in principle const objects, this should
have improved speed.
1.02 05. Jul 2002 Release
- new functions FLOOR(expr) and CEIL(expr) which find the
next integer down and up.
- Bug fixed in MPS output that lets zimpl write BOUND lines
for variables that are not used.
- new flag -r that write a CPLEX branching order file (.ord).
Two new attributes for variables:
"priority expr" sets the branching priority for the variable.
"startval expr" sets the start values for the variable
- new function ABS(expr) that returns the absolut value of expr.
- new function CARD(set) that computes the cardinality of a set.
- memory leak pugged, that occured when summing over a restricted set.
- added possiblility to initialise parameter per set element,
the same way as variables.
- the row scaling factor is now also printed in the .tbl file.
- Added "attributes" to the constraints. At the moment the following
are understood:
scale : scales the constraint before writing the LP file.
After scaling the absolut larges coefficient will be one.
separate : Means "this constraint should be separated".
At the moment, such constraints are written in an "User constraint"
section in the LP-File. But CPlex does not recognise this.
- "sum" is now also valid for expressions without variables.
- Fixed error in LPF Writing Routine, that would write "Inf"
instead of "+Inf".
- Wrong template in read now gives an error message instead of
an segment violation.
1.01 30. Oct 2001 Bug fix release
- Added several missing const's to the code.
- Unterminated string constants where not reported as errors.
This led to very irritating behavior. Fixed.
- Since it is possible that string type set members include spaces,
the "real" name in the .tbl file is now surrounded by doublequotes.
(I am not totally sure this is a good idea. Maybe I should just,
change all spaces to underscores.)
- It is now possible to write -x[3] in a constraint. Before
it was neccessary to write -1*x[3].
- Changed the field splitting for the read statement. The FS
keyword is gone. Read now tries to do the "right" thing.
Look at the documentation for details.
- When writing LP-format files, one's as coefficents are
no longer written. This makes the files somewhat shorter.
- -d (Debug) Option is no longer be ignored.
- Default field separators for the read statement are
now <space>, <;> and <tab> (<tab> is new).
- Fixed one minor malloc error with the include statement.
- Removed all uses of alloca() for better AIX compatibility.
- String valued parameters now work.
1.00 09. Oct 2001 Initial release
|