liu-hz18 / boolean-algebra-calculator Goto Github PK

********************************************************************************
**                                  Welcome to FormularHelper  ! ! !                            **
**                              Copyright (C) LiuHongzun at THU CST                        **
********************************************************************************
1. 运行方式
     采用Qt (基于C++)进行界面开发，版本为5.13.0. 如果您的电脑上有Qt的动态链接库，程序可以正常打开。
     若以上方法不可行，在本压缩包目录./app中有打开此程序所需的动态链接库，运行./app中的FormularHelper.exe应该可以正常运行；
     本程序源码在./code文件夹下，其中PropositionalFormula.pro可以直接导入Qt进行编译，这种方式也可以得到对应的可执行文件。
2. 文件结构
     可执行程序 在本文件夹下；
     程序及相关动态链接库 在 ./app 文件夹下；
     说明文档 在 ./document 文件夹下；
     程序源码 和(Qt).pro在 ./code 文件夹下；
3. 请参阅说明文档，里面有详细的使用说明 :)