z3 icon indicating copy to clipboard operation
z3 copied to clipboard

Published 20 hours ago • verified publisher icon Z3Prover

Merge shared parts from polysat branch

Open JakobR opened this issue 1 year ago • 3 comments

JakobR avatar Dec 18 '23 11:12 JakobR

Better to split into pieces.

  • euf_egraph.cpp changes should not be ported
  • euf_egraph.h changes ok to port
  • I pushed update to union_find separately
  • separate PRs for tptr, vector

NikolajBjorner avatar Dec 18 '23 17:12 NikolajBjorner

Ok! I updated this PR and created separate ones for tptr and vector.

JakobR avatar Dec 19 '23 12:12 JakobR

LGTM!

nunoplopes avatar Dec 20 '23 15:12 nunoplopes