文件名称：witan:冲突驱动推理的ocaml实现
文件大小：323KB
文件格式：ZIP
更新时间：2024-05-21 13:46:33
sat-solver smt-solver mcsat OCaml
维坦 McSat求解器的原型实现 安装 使用 ： opam pin add dolmen https://github.com/Gbury/dolmen.git#1cabe6b20b3b5f32c4dd9704fdb105cd941cd572 opam pin add witan https://github.com/witan-org/witan.git 发展 git clone https://github.com/witan-org/witan.git opam pin add dolmen https://github.com/Gbury/dolmen.git#1cabe6b20b3b5f32c4dd9704fdb105cd941cd572 opam pin add --no-action witan . opam install --deps-only witan opam