ctrl+shift+p filters: :st2 :st3 :win :osx :linux
Browse

Gringo

by tobielf ST3

A syntax highlighting plugin for Answer Set Programming

Labels language syntax

Details

Installs

  • Total 306
  • Win 140
  • Mac 98
  • Linux 68
Feb 2 Feb 1 Jan 31 Jan 30 Jan 29 Jan 28 Jan 27 Jan 26 Jan 25 Jan 24 Jan 23 Jan 22 Jan 21 Jan 20 Jan 19 Jan 18 Jan 17 Jan 16 Jan 15 Jan 14 Jan 13 Jan 12 Jan 11 Jan 10 Jan 9 Jan 8 Jan 7 Jan 6 Jan 5 Jan 4 Jan 3 Jan 2 Jan 1 Dec 31 Dec 30 Dec 29 Dec 28 Dec 27 Dec 26 Dec 25 Dec 24 Dec 23 Dec 22 Dec 21 Dec 20
Windows 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Mac 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Linux 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

Readme

Source
raw.​githubusercontent.​com

sublime-syntax-clingo

A syntax highlighting plugin for Answer Set Programming (ASP).

Previously I was using the “SWI-Prolog” syntax highlighting plugin for my ASP code. However, it does not support the ASP program with Python script in it, and it can't highlight ASP choice rules. I couldn't find a solution for it, so I wrote one. Feel free to use it, and let me know if you have any questions/bugs/suggestions.

How to use

Automatic Installation

This package has been merged into the Package Control channel provided by SublimeHQ. I would highly recommend you to install from Package Control, so that you can get the latest updates automatically.

  1. Goto Package Control: Install Pacakge.
  2. Search for Gringo.
  3. Hit the enter.
  4. Done.

Manual Installation

  1. Download the gringo.sublime-syntax, gringo.tmPreferences and Gringo.sublime-build.
  2. Open your SublimeText, select "Preference"->"Browse Packages..."
  3. Your file manager will open the Package for you.
  4. Put the downloaded files under User folder.
  5. Done.

VIM User

I treat SublimeText as a GUI version of VIM. If you are a VIM user, you can visit rkaminsk's repo and get a plugin for vim.