/smtlib-intellij-plugin

Plugin for Intellij Idea to work with Smt-Lib language

Primary LanguageKotlin

smtlib-intellij-plugin

Build

SmtLib language highlighting and formatting

Installation

  • Manually:

    Download the latest release and install it manually using Settings/Preferences > Plugins > ⚙️ > Install plugin from disk...

Plugin based on the IntelliJ Platform Plugin Template.