This release fixes common case hash collision in logic.C. This can greatly improve performance for apps which make use of logic.C but has no effect on solving. Special thanks to Evan Cordell (Redhat).
This release fixes common case hash collision in logic.C. This can greatly improve performance for apps which make use of logic.C but has no effect on solving. Special thanks to Evan Cordell (Redhat).