intuit

MaRDI QIDQ45352swMATHFDO

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)

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

This page was built for software: intuit