A HOL/MiniSat interface (2006)

by Hasan Amjad