-
Régis Blanc authored
UnrollingSolver now uses an underlying incremental solver and use push and pop to drive the unrolling instead of creating a new solver each time
Régis Blanc authoredUnrollingSolver now uses an underlying incremental solver and use push and pop to drive the unrolling instead of creating a new solver each time
UnrollingSolver.scala 4.48 KiB