sttmn/logicsolver archive