Open reneklootwijk opened 10 years ago
How can I use a time based constraint without being dependent on another fact? Examples:
The predicate timer is not implemented yet. So for now, a fact which represents a clock is necessary.
timer
Is it possible you give an example of a fact which represents a clock?
How can I use a time based constraint without being dependent on another fact? Examples: