Francesca Basini

Results 1 issues of Francesca Basini

Is the documentation for `extra_solver_state` going to come out at some point? Alternatively, are there any useful referencez to try and use this functionality? I would be particularly interested in...