Timeline

08/16/17:

21:44 Ticket #56 (Superfluous warning for over-specific runs on clauses) closed by phdmakk

fixed

20:30 Release-Notes/T3D-v2.0.0b1 edited by phdmakk

(diff)

20:27 Ticket #56 (Superfluous warning for over-specific runs on clauses) created by phdmakk

The issue is related to incorrect termination criteria when searching for …

13:40 Download edited by phdmakk

(diff)