v0.3.2
============= Released on 29th May 2016. New features ------------ * add functionality to find minimal unsatisifiable subsets (PR #222).
============= Released on 29th May 2016. New features ------------ * add functionality to find minimal unsatisifiable subsets (PR #222).