Blum-Micali算法的源代码实现，产生随机数序列，可用于电台调频序列-Blum-Micali algorithm source code, generates a random number sequence, the sequence can be used for FM radio

Blackbox是通过将STRIPS的entire说明转换为布尔型满足问题的规划系统，用于解决多种当前满足的引擎，融合了约束满足和图规划技术。 -Blackbox is a planning system that works by converting problems specified in STRIPS notation into Boolean satisfiability problems, and then solving the problems with a varie