3 search results for "tag:"logpath:SMT""

Showing 1 - 3
  1. coq-smt-check

    No documentation

    Invoke SMT solvers to check goals
    logpath:SMT
    Gregory Malecha
    2.0.0
    MIT
    Used by 0 other packages
    19 Mar 2016
  2. coq-smtcoq

    No documentation

    A Coq plugin that checks proof witnesses coming from external SAT and SMT solvers
    category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures category:Miscellaneous/Coq Extensions keyword: SMT keyword: SAT keyword: automation logpath:SMTCoq
    Michaël Armand Valentin Blot Amina Bousalem Boris Djalal Louise Dubois de Prisque et al.
    2.3+8.20
    CECILL-C
    Used by 1 other packages
    19 Sep 2024
  3. rocq-smt-lib

    No documentation

    Rocq mechanisation of SMT-LIB
    date:2026-10-28 logpath:SMTLIB category:Computer Science/Semantics and Compilation/Semantics keyword:SMT-LIB keyword:SMT
    Shiva Tamil Kumaran Andreas Lööw Philippa Gardner
    1.0
    MIT
    Used by 0 other packages
    29 Oct 2026