Revision 8ff4378c69bfc83b3af48e387721134b1413d23a authored by takehidesoh on 01 May 2023, 02:14:54 UTC, committed by takehidesoh on 01 May 2023, 02:14:54 UTC
1 parent 339d44a
LICENSE.bdd_minisat_all
bdd_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.
Computing file changes ...
