Package choco.palm.dbt.prop

A package devoted to an extension of Choco propagation tool to support explanation features.

See:
Description

Interface Summary

PalmVarEvent

Class Summary

PalmEngine
PalmIntVarEvent
PalmVarEventQueue
StructureMaintainer	Created by IntelliJ IDEA.

Package choco.palm.dbt.prop Description

A package devoted to an extension of Choco propagation tool to support explanation features. For instance, it allows constraint removing thanks to special events or full incremental algorithms maintaining constraint data structures thanks to structure maintainer tools.