Merge pull request #202 from yandex/users/bacecek/200

Use overridee if possible for synthetic property with KSP2

Merge pull request #191 from yandex/users/bacecek/ksp2_in_1_x_y_version

Cherry-pick KSP2 fixes to 1.x.y branch

Merge pull request #178 from bacecek/users/bacecek/update_logicng

Update logicng to 2.5.0

Version: 1.5.0

Version: 1.4.1

Version: 1.4.0.

Version: 1.4.0-rc1.

Version: 1.3.0.

Version: 1.2.1.

Version: 1.2.0