2014-02-18 Version 0.2:
	* Added clause group API.

2014-05-08 Version 0.1:
	* Initial release of DepQBF4J.
