1 dataset found

Tags: triggers

Filter Results

  • Reasoning with Triggers

    SMT solvers can decide the satisfiability of ground formulas modulo a combination of built-in theories. Adding a built-in theory to a given SMT solver is a complex and...
You can also access this registry using the API (see API Docs).