intuit

swMATH33643MaRDI QIDQ45352FDOQ45352

Author name not available (Why is that?)

Official website: https://github.com/koengit/intuit

Source code repository: https://github.com/koengit/intuit

Described by source

• SAT modulo intuitionistic implications

Cited In (14)

• Para-disagreement logics and their implementation through embedding in Coq and SMT
• Goal-oriented proof-search in natural deduction for intuitionistic propositional logic
• CEGAR-tableaux: improved modal satisfiability via modal clause-learning and SAT
• ILTP
• fCube
• Imogen
• Gen2sat
• JTabWb
• IntHistGC
• Psyche
• ArchSAT
• BDDTab
• SAT-based proof search in intermediate propositional logics
• A proof-theoretic perspective on SMT-solving for intuitionistic propositional logic

This page was built for software: intuit