Unsatisfiable cores

Header: bill/sat/unsat_core.hpp

Functions
trim_core_copy
trim_core
minimize_core_copy
minimize_core