-
-
-
v1.0.3
bug fixes - wrong call to "move" resulting in wrong restriction - to_heap with no restriction of Args properly handled (used to abort) - abort on unif problems not in the pattern fragment, new command line flag -delay-problems-outside-pattern-fragment to be compatible with Teyjus
-
-
-
-
-
-