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


