Abstract:
Article compiling the main ideas of creating propagation-based constraint solver, theoretical basis of constraint programming and its implementation in IMS (Insertion Modeling System). У статті розглядаються основні ідеї створення констрейнтного розв’язувача заснованого на пропагаторах, теоретичні відомості констрейнтного програмування та його реалізацію в IMS
