fine tune locking

[imabdulbasit]

We can get the Postgres connection using a read lock, but the POST methods give us a mutable reference to the state, i.e., a write lock. We might not need to update the SolverState and only require database updates. If that is the case, then we can change the POST method to at() to control locking.