-------------------------

Changes in version: 0.9.8 (unreleased)

-------------------------



* we stoped updating this list because there were too many entries



* minor cleanup in readcnf()

* Added the -varinit file parameter

* Added function FindParm

* Added bound checks on all ubcsat-limits

* Added support for multiple -param files

* Fixed a bug with the -param option

* Added report for unsatcounts

* Added report for flipcounts

* Added Twister code & mt19937ar.c

* Added the fxnRandom() variables

* Added Column Data "rand"

* Added VARSTATE data type

* Added report for VarLastChange

* Changed -r solve to -r model

* Chagned the way specifying individual Stats worked

* Added support for user-specified stats ie: steps[mean;median]

* Added report for SATCompetition

* Changed the way all headers are printed out

* Added -rcomment for you to change header comment character

* Added -noimprove option

* Added stats for "best","beststep"

* Added -r penalty and -r pensol

* Added multiple SAPS variants

* Added parameters to -r state



-------------------------

Changes in version: 0.9.7

-------------------------



* Changed the PARAMETERDEFAULT structure

* Added aVarScore[] & functions

* Added the Random() functions

* Removed the "default" algorithm

* Changed the AddAlg() routine

* Added some speedups to GSAT-TABU

* Added memory alignment to AllocateRAM

* Fixed bug from having too small a MAXITEMLISTSTRINGLENGTH

* Renamed Lastchange Structures

* Fixed bug for printing RTDs in unix



-------------------------

Changes in version: 0.9.6

-------------------------



* MAJOR restructuring to use triggers:

  * Removed function structure from algorithm structure

  * Redesigned all reports to be use triggers

  * Removed "trace" reports, made all reports more homogeneous

* Re-write of report help: -hr 

* Added NullFlips counters in SAPS

* Added penalty report for SAPS

* Renamed Trigger Functions as just Funcitons

* Added ubcsat-help@ece.ubc.ca to headers

* modified dynamic CNF allocation with LITSPERCHUNK

* Added -restart option for ALL algorithms

* Added field to functions to "remove" other functions

* Added functions to parameters (activated if "specified")

* Changed the way that -solve is handled



-------------------------

Changes in version: 0.9.5

-------------------------



* Fixed the rescaling bug in SAPS

* Added -alg gsat-tabu -v asp 

* Changed GWSAT algorithm to match the GSAT 4.1 code

* Changed comparison sign in RNovelty from <= to < for better compatibility



-------------------------

Changes in version: 0.9.4

-------------------------



* added the instinfo (# clauses, # variables, # lits) to reports

* added the # -alg name to the top of reports

* added the -trace state info for Kevin



-------------------------

Changes in version: 0.9.3

-------------------------



* Use of -solve parameter ignores the -find parameter (forces -find 1)

* "hidden" columns no longer accidentally displayed

* boolean parameters now show {0|1} in the output section

* Added header information to source files

* Added some (brief) function descriptions to some source files



-------------------------

Changes in version: 0.9.2

-------------------------



* added multiple aliases for paramaters e.g.: -h|-help|--help

* fixed a bug in the reports to use actual # runs, not iNumRuns (for early exits)

* cleaned up algorithm descriptions & literature references

* added -alg gsat-tabu+ and -alg walksat-tabu+ (commented out)

* changed the default parameters for many algorithms

* modified the help to avoid printing the default seed



-------------------------

Changes in version: 0.9.1

-------------------------



* MAJOR cleanup of all help functions

* added the ubcsat header & version information

* added the -rclean parameter for supressing header info

* removed the -v and -w parameter options for now

* added the -solve parameter

* added the -find parameter

* added the -fp parameter for reading parameters from a file

* Added column descriptions to output & rtds

* Cleaned up the existing statistics 

* Added numerous statistics calculations