Commit 55cc24f6 authored by Vladimír Uhlík's avatar Vladimír Uhlík
Browse files

src: Reformate code and make space for UIP in learnt clause.

parent 4eca7cf5