* add dl-specific heuristic (71) * update to clingo 5.7.0
1.4.0
* add support for ASPIF parsing * improve shifting of zero node * update to clingo 5.6.0
1.3.0
* extended optimization algorithm * add propagation mode to propagete through zero nodes * large code refactoring
1.2.0
* update to clingo 5.5.0 * more flexible syntax for &diff constraints * add support for pip * various bug fixes
1.1.0
* add weaker but faster propagation modes * add option to add mutexes in a preprocessing step * add support for incremental solving * there is an option to minimize a varible now * add unit tests * improve and extend theory interface + an example * update to clingo 5.4.0
1.0.0
* changed to cmake build system * added proper solution printing using clingo API * added proper statistic printing using clingo API * added C interface for theory handling