logic

用程序求解网传的2018刑侦推理试题。基本原理：穷举10道题的每组可能解，然后使用题目的逻辑约束对其判断，如果不违反所有题目的约束，则该组解是这套题的一组解。