improvements + bugfixing + new solver+ reasonable behavior +debugging methods
bug fixing