Commit 56c307ff authored by Robbert Krebbers's avatar Robbert Krebbers

Let set_solver handle some list connectives.

parent 6111fa8b
Pipeline #239 passed with stage