1.5.3
----------------
fixed bug, caused by reduction applied to other other reasoning modes than minimal inconsitent cores

1.5.2
----------------
use pyasp-1.3.3
1.5.1
----------------
use pyasp-1.3.1

1.5
----------------
use pyasp-1.3

1.0 (unreleased)
----------------
Initial release