2 search results for "tag:"keyword:SMT""

Showing 1 - 2
  1. coq-itauto

    No documentation

    Reflexive SAT solver with Nelson-Oppen support, parameterised by a leaf tactic inside Coq
    category:Miscellaneous/Coq Extensions category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures keyword:integers keyword:SAT keyword:SMT keyword:Nelson-Oppen keyword:automation logpath:Cdcl date:2024-06-17
    Frédéric Besson
    9.1.0
    MIT
    Used by 1 other packages
    22 Jul 2026
  2. 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