news for release 1.4 since 1.3
------------------------------
* hid API change in 'picosat_add' for older version of PicoSAT
* fixed EOF issue reading an empty file from stdin
* removed old license references

news for release 1.3 since 1.2
------------------------------
* first source code release
* fixed a rewriting bug by uncommenting simplification code

news for release 1.2 since 1.1
------------------------------
* improved rewriting 
* PrecoSAT now standard solver for non-incremental usage, 
  PicoSAT used otherwise

news for release 1.1 since 1.0
------------------------------
* improved handling of unconstrained variables and arrays
* improved rewriting engine
* removed command line switch for refinement limit
* fixed bug where Boolector could report 'unknown' in regular (non-bmc) mode
* fixed minor caching problem on AIG layer 
* fixed other bugs

news for release 1.0 since 0.7
------------------------------
* public C API
* documentation and examples
* improved SMT parser (:formula can now be an fvar).

news for release 0.7 since 0.6
------------------------------
* fixed model generation bugs
* improved under-approximation
* added support for bvcomp (SMT-LIB)

news for release 0.6 since 0.5
------------------------------
* fixed model generation bugs
* fixed rewriting bug
* support for new under-approximation techniques

news for release 0.5 since 0.4
------------------------------
* faster model generation
* support for array models
* support for under-approximation techniques for bit-vector variables and reads
