Java版的SAT求解器，基于miniSAT-Java version of the SAT solver, based on miniSAT

程序实现最基本的万年历功能。 显示画面式样如下: Mon. Tues. Wed. Thurs. Fri. Sat. Sun. 1 2 3 4 5 6 7 8 9 10 11 12 13 ………… Please input year and month 画面要求说明: 1 显示某年某月的一个月内的月历。 2 周末的日期和星期标记用红色显示。 3 显示的日期右侧对齐。并且和星期也对期。 2.2 动作要求 程序默认显示20

粒子群优化算法及其在SAT问题和多目标规划问题上的应用,优秀的硕士论文，和大家一起分享

并行程序说明：输出结果为最小生成树的边。运行：本实例中使用了5个处理器