isat3 0.04-20170301-(i686|x86_64)
	* minor bugfixes

isat3 0.03-20161213-(i686|x86_64)
	* several bugfixes
	* added experimental support for additional arithmetic operations
	  - /		(division)
	  - ite		(if-then-else operator)
	  added to the interface of libisat3
	  - ISAT3_NODE_BOP_DIV
	  - ISAT3_NODE_TOP_ITE
	  the cmdline switch --extended-hys-syntax enables the support
	  for those functions in the input file format read by the isat3
	  binary
	* added experimental support for arbitrary define-directives in all
	  sections of a .hys file (available with --extended-hys-syntax)
	* added experimental support for additional arithmetic operations
	  in order to allow reasoning over floating-point expressions.
	  the provided operations were chosen such that all basic data
	  types of the C language could be represented (available with
	  --extended-hys-syntax)
	* libisat3: added isat3_node_create_nary_operation()

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	(exponential function regarding base 2)
	  - exp10	(exponential function regarding base 10)
	  - log		(logarithmic function regarding base e)
	  - log2	(logarithmic function regarding base 2)
	  - log10	(logarithmic function 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().
	  added separate functions to change the settings
	  - isat3_settings_init()
	  - isat3_settings_deinit()
	  - isat3_settings_set_problem_type()
	  - isat3_settings_set_trace_file()
	  - isat3_settings_set_msw()
	  - isat3_settings_set_mpr()
	  these functions should be used in conjunction with
	  isat3_init_with_settings(). keeping the following old functions for
	  compatibility reasons
	  - 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()

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