meatmanek/constraintsatisfaction archive