
----
NEWS
----

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

