minisat-solver-0.1: c-sources/LICENSE.bc_minisat_all

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.