Competitions for solvers generally require the solver to manage memory efficiently. As of now, SeaPearl does not have an efficient/formal way of doing so, which can result in memory errors. The goal would be to clearly monitor the memory usage of SeaPearl and come up with mitigation strategies to limit it.
Competitions for solvers generally require the solver to manage memory efficiently. As of now, SeaPearl does not have an efficient/formal way of doing so, which can result in memory errors. The goal would be to clearly monitor the memory usage of SeaPearl and come up with mitigation strategies to limit it.