bc_minisat_all -- Copyright (c) 2015, Takahisa Toda

This software is developed by modifying MiniSat-C v1.14.1 and inherits the license of MiniSat-C v1.14.1.
Please confirm the copyright notice given in LICENSE.MiniSat.