- add dl-specific heuristic (#71)
- update to clingo 5.7.0
- add support for ASPIF parsing
- improve shifting of zero node
- update to clingo 5.6.0
- extended optimization algorithm
- add propagation mode to propagete through zero nodes
- large code refactoring
- update to clingo 5.5.0
- more flexible syntax for &diff constraints
- add support for pip
- various bug fixes
- 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
- 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