#sat #cnf #solving #convert #automatic #function

autosat

由 petersn 所有。