GitHub repository: lauren-yrluo/SharpSSAT
Description: A witness-generating stochastic Boolean satisfiability solver