new interface for minisat; fixed dll logs
update rights on files