
----
NEWS
----

September 09 2016:

release of version 5.01
  - bug fix in the generation of QDIMACS output
  - many thanks to Johannes Marti for pointing out the problem and to Uwe Egly
    for helpful discussions on implementing the fix.

October 26 2015:

release of version 5.0
  - includes blocked clause elimination (QBCE)
  - dynamic QBCE
  - preprocessing QBCE
  - inprocessing QBCE


June 9 2015:

release of version 4.01


February 18 2015:

release of version 4.0


September 30 2014:

release of version 3.04


May 8 2014:

release of version 3.03, 
  including DepQBF4J version 0.1


April 23 2014:

release of version 3.02


April 2014:

release of version 3.01


February 2014: 

release of version 3.0


August 2013: 

release of version 2.0


July 2012: 

release of version 1.0

