SAT问题也称为合取范式的可满足问题，一个合取范式形如：A1∧A2∧…∧An，子句Ai（1≤i≤n）形如：a1∨a2∨…∨ak，其中，ai称为文字，为某一布尔变量或该布尔变量的非。SAT问题是指：是否存在一组对所有布尔变量的赋值（TRUE或FALSE），使得整个合取范式取值为真。-SAT problem is also known as conjunctive normal form satisfiability problem, a conjunctive normal form: A1 ∧

java 大作业 植物大战僵尸 附 报告 在别人基础上改的。游戏的最后有个数据库的简单应用。数据库得自己建。我用的是sqlserver，配置上可能会比较麻烦。-java Plant vs. Zombies assignment codes

dots and lines in java

assignment 7 for java enjoy