1. 1.关于APP界面的使用 （1）运行arc==2,且arg[2]为指定参数（非.cnf文件），例如使用参数'-h'$./cadical.exe-husage:cadical[<option>...][<input>[<proof>]]where'<option>'isoneofthefollowingcommonoptions:-hpri

       发生错误：g++-Wall-Wextra-O3-DNDEBUG-I../build-ocadicalcadical.o-L.-lcadical/usr/lib/gcc/x86_64-pc-cygwin/11/../../../../x86_64-pc-cygwin/bin/ld:./libcadical.a(restart.o):restart.cpp:(.text+0xb9e):undefinedreference

在一对文件（options.hpp和options.cpp）运行控制参数统一初始化并设置动态增长规律； 1#ifndef_options_hpp_INCLUDED2#define_options_hpp_INCLUDED34/*------------------------------------------------------------------------*/56//Inorder

   1.文字、变元变元和文字iteration: vars,litsvals: signedchar*vals;//assignment[-max_var,max_var]//Internal数据成员，保存文字的赋值-同时其对应负文字的赋值也一并保存（更新）。//可以理解