search

usi-verification-and-security / opensmt

The opensmt solver
Other
78 stars 18 forks source link

Optimize `ArraySolver` in incremental mode #716

Open Tomaqa opened 6 months ago

Tomaqa commented 6 months ago

It is way too slow! For example within benchmarks incremental/QF_ALIA/UltimateBuchiAutomizer.

715 performs at least some basic optimizations, but we can do better.