完整的SAT解算器练习 简单的完整SAT求解器。 您可以在找到该存储库的副本。 解算器 $ python solvers/ *[] *仅适用于base_sat.py 解算器列表： solver_exp.py：实验性求解器（太慢，无法正常工作） original_dpll.py：基本求解器，随机选择 base_sat.py：具有更多分支启发式方法的求解器 linked_sat.py：具有链表结构的求解器（仅适用于JW分支启发式） race_sat.py：具有2面jeroslow wang分支启发式的base_solver noflags_linked_sat.py：不带标志的linked_sat.py的更快版本 base_sat分支启发法 FRE （弗里曼（Freeman））

AQUILA 是一个 MATLAB 工具箱，用于对 GaAs/AlGaAs 半导体纳米结构的电子特性进行一维或二维仿真。 该程序以自洽的方式为用户定义的结构求解一维或二维薛定谔方程和泊松方程。

包括以下状态方程 (eos) 或模型：van der Waals (vdW)、Redlich-Kwong (RK)、Soave-Redlich-Kwong (SRK)、Peng-Robinson (PR)、Pitzer-correlated Virial（最多截断为第三系数）、经典 Virial（截断至第三系数）和 Rackett（用于饱和液体）。 第一个程序通过连续替换法 (MOSS) 或定点迭代 (iterative) 方法求解压缩系数 (Z)。 然后求解摩尔体积。 第二个程序解决了压力。 第一个程序所需的输入数据是压力、温度、临界压力和温度（如果适用）、维里系数（如果适用）和无心因子（如果适用）。 对于第二个程序，它需要摩尔体积、温度、临界压力和温度（如果适用）、维里系数（如果适用）和无心因子（如果适用）。 它包括有关如何使用程序的文档或示例。 这两个程序使用的方程都是基于Smit

软件界面上能显示课程设计题目、解算执行按钮、方程输入显示控件，方程计算结果显示控件，图形绘制窗口控件及按钮，显示根个数及位置。

matlab开发-光波导模式解算器。光波导模式解算器