CODEWITHSUNDEEP
performancez3smtz3py
Mark Jin
Mark Jin

Reputation: 2913

z3py: Can the switch of the orders of constraints affect the performance of the Z3 SMT solver?

I am trying to improve the performance of my z3py code for making an inference. Do you think changing the sequence that the logic constraint being added to the solver might possibly help?

Upvotes: 1

Views: 671

Answers (1)

Nuno Lopes
Nuno Lopes

Reputation: 868

It may, but switching solvers or building a specialized tactic will probably have a greater influence.

Upvotes: 1

Related Questions