-
uid67352 authored
Toned down some constants to reduce the change of getting integers that are too big. Fixed some bugs in form simplification. Added restart-bind (trivial use).
5b893d0c
Toned down some constants to reduce the change of getting integers that are too big. Fixed some bugs in form simplification. Added restart-bind (trivial use).