This project aims to compare the implementation of the classical propagator from lala-pc and the octagon implementation from lala-octagon for managing temporal constraint of the form ± x ± y <= k
where x
and y
are variables and k
is a constant.
thibaultfalque / lala-octagon-pc Goto Github PK
View Code? Open in Web Editor NEWThis repository makes it easy to compare lala-octogon and lala-pc for temporal constraints.
License: MIT License