History

for article: SAT solver