opt → sat Relation

File in src/opt	Includes file in src/sat
cgt / cgtInt.h	cnf / cnf.h
cgt / cgtInt.h	bsat / satSolver.h
mfs / mfsInt.h	cnf / cnf.h
mfs / mfsInt.h	bsat / satSolver.h
mfs / mfsInt.h	bsat / satStore.h
eslim / relationGeneration.cpp	cnf / cnf.h
eslim / relationGeneration.cpp	bsat / satSolver.h
eslim / satInterfaces.hpp	cadical / cadical.hpp
eslim / satInterfaces.hpp	kissat / kissat.h
res / resCore.c	bsat / satStore.h
res / resSat.c	bsat / satSolver.h
rrr / rrrSatSolver.h	bsat / satSolver.h
sbd / sbdInt.h	bsat / satSolver.h
sfm / sfmInt.h	bsat / satSolver.h