opencl-satsolver:OpenCL中的蛮力坐式求解器

opencl-satsolver 这是一个简单的用Java和OpenCL（使用JOCL绑定）编写的蛮力坐式求解器。 它基本上解析输入表达式，并尝试每个单个变量配置。 包含一个测试应用程序，可用于尝试libs功能。 尝试图书馆 从存储库下载SatSolverTest.jar（或从源代码构建），然后从命令行运行它： java -jar SatSolverTest.jar 特征： 支持最多62个布尔变量的表达式 AND，OR，NEGATE运算符 可以评估以下表达式：A＆B | （C＆！D） 可以加载.CNF文件 请注意，以上24-26变量的计算时间可能非常长。 有两种实现的方法： 单/简单求解器将返回一个字节数组，其中每个字节代表一个解决方案。 多重求解器会将8个结果打包到一个字节中（每个位代表一个解决方案），以节省内存（并允许更多变量）。 对于较大的问题，将自动选择多求解器方法。