search

astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Added check to ensure notification is run once per var per timestamp #4

Closed frejknutarlewander closed 4 years ago

frejknutarlewander commented 4 years ago

A vector in PropagationGraph keeps track of the last timestamp maybeNotify was called on a variable.

This idea should work, but I might have missed something :thinking: