coma94/logic-simplify archive