工具

SMT

• AllDiff-LS

  AllDiff-LS (在新窗口中打开)

  A tool for solving All-Different combinatorial constraints via local search

  查看代码仓库 (在新窗口中打开)
• BLAN

  BLAN (在新窗口中打开)

  BLAN: Bit-bLAsting solving Non-linear integer constraints.

  论文查看代码仓库 (在新窗口中打开)
• CDCL(OCAC)

  CDCL(OCAC) (在新窗口中打开)

  CDCL(OCAC): A complete algorithm for optimization modulo nonlinear real arithmetic.

  论文查看代码仓库 (在新窗口中打开)
• Prob-SMT

  Prob-SMT (在新窗口中打开)

  A tool that integrates probabilistic reasoning into SMT solving to handle logical constraints involving randomness or uncertainty

  查看代码仓库 (在新窗口中打开)
• S5Cheetah

  S5Cheetah

  S5cheetah 1.0 is a solver which can decide the satisfiability of modal logic S5. S5cheetah 2.0 can find the Minimal Kripke Model for an S5 formula.

  查看主页
• 

  SMTParser (在新窗口中打开)

  A frontend for parsing and processing SMT-LIB / OMT format formulas, supporting C++ interfaces.

  查看代码仓库 (在新窗口中打开)