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)

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

This page was built for software: intuit