isat3 0.02-20140409-(i686|x86_64):
	* bugfix: in certain situations the solver returned a spurious
	  UNSATISFIABLE result
	* added experimental support for additional arithmetic operations:
	  - exp2 (2^x)
	  - exp10 (10^x)
	  - log (log regarding base e)
	  - log2 (log regarding base 2)
	  - log10 (log regarding base 10)
	  added to the interface of libisat3:
	  - ISAT3_NODE_UOP_EXP2
	  - ISAT3_NODE_UOP_EXP10
	  - ISAT3_NODE_UOP_LOG
	  - ISAT3_NODE_UOP_LOG2
	  - ISAT3_NODE_UOP_LOG10
	  added the cmdline switch --extended-hys-syntax to enable support
	  for those functions in the input file format read by the isat3
	  binary
	* libisat3: changed the way to pass settings to isat3_init().
	  now the functions:
	  - isat3_settings_init()
	  - isat3_settings_deinit()
	  - isat3_settings_set_problem_type()
	  - isat3_settings_set_trace_file()
	  - isat3_settings_set_msw()
	  - isat3_settings_set_mpr()
	  should be used in conjunction with isat3_init_with_settings().
	  the old functions:
	  - isat3_init_with_problem_type()
	  - isat3_init_with_msw_mpr()
	  - isat3_init_with_problem_type_and_trace_file()
	  - isat3_init_with_problem_type_and_trace_file_and_msw_mpr()
	  are still supported for compatibility reasons

isat3 0.01-20131207-(i686|x86_64):
	* first official release
