search

VeriFIT / z3-noodler

The Z3-Noodler String Solver
Other
6 stars 5 forks source link

Length decision procedure #142

Closed xhrani03 closed 4 months ago

xhrani03 commented 4 months ago

Add the length decision procedure

New decision procedure Couple less timeouts, mostly on kaluza (but compared against commit ec4ce36 ... like three weeks old)

vhavlena commented 4 months ago

Thanks for the PR. Could you resolve the conflicts please? (I guess it suffices to rebase your branch on the top of the remote length-dec-proc)

vhavlena commented 4 months ago

Just for the record. We merge this PR to VeriFIT remote and then create another PR merging length-dec-proc to devel.