Tools
Discover tools developed by our research group
Showing 6 tools
SMT
AllDiff-LS (opens in a new window)
A tool for solving All-Different combinatorial constraints via local search
BLAN (opens in a new window)
BLAN: Bit-bLAsting solving Non-linear integer constraints.
CDCL(OCAC) (opens in a new window)
CDCL(OCAC): A complete algorithm for optimization modulo nonlinear real arithmetic.
Prob-SMT (opens in a new window)
A tool that integrates probabilistic reasoning into SMT solving to handle logical constraints involving randomness or uncertainty
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 (opens in a new window)
A frontend for parsing and processing SMT-LIB / OMT format formulas, supporting C++ interfaces.