Skip to content

Commit 9302a02

Browse files
levnachlevnach
committed
reintroduce m_var_register, and avoid modulo gcd in normalize conflicts
Signed-off-by: Lev Nachmanson <[email protected]>
1 parent 9a62ed5 commit 9302a02

File tree

1 file changed

+118
-53
lines changed

1 file changed

+118
-53
lines changed

0 commit comments

Comments
 (0)