⇚ home


Plugin for Notepad++

I've built the "Decide" and "Depict" functions of the web application into a plugin for Notepad++, a text editor. It has some advantages over the web application:


To use the plugin, the following software must also be installed:


To install the plugin:

  1. Download Notepad++Plugin.zip.
  2. Open the .zip file and copy its contents to NotePad++'s plugins folder (normally C:\Program Files (x86)\Notepad++\plugins). Windows will ask if you want to merge the "Config" folder. Choose "Yes".
  3. If you have Graphviz, add Graphviz' binary folder (e.g. C:\Program Files (x86)\Graphviz2.34\bin) to the PATH environment variable.


Once the plugin has been installed, all you need to do to is start Notepad++. The plugin's functions should be in the menu under "Plugins → Symbolic Logic".

The "Decide" function will also have an icon on the toolbar:


If you attempt to use the plugin without .NET Framework 4.5.1 or higher, Notepad++ will show a message stating that the plugin is not compatible with that version of Notepad++. Just install .NET 4.5.1 and restart Notepad++ and everything should be ok.