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 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 "" } will real all values one after the other and put them into the set. "" 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) 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 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 in I with i > 5 : A[i]; INTER 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: { in I with i != 3 : p[i] }; or { in A with i != 3 : }; - 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 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 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 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( in I with i > 5 ) should be equivatent to card( { 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 := { in I with i > 5 } - It is now possible to write { in A with a > 5 } whenever a set is needed. This means also it is now possible to nest indexsets, like in { in { 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[ 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 := 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 in I * J with i < j do it is possible to write forall in I do forall 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 , <;> and ( 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