A major mode for editing Potassco Answer Set Programs files (.lp
).
From the Potassco website:
Answer Set Programming (ASP) offers a simple and powerful modeling language to solve combinatorial problems. With our tools you can concentrate on an actual problem, rather than a smart way of implementing it.
Not so many at the moment:
C-c C-b
Call clingo with the current bufferC-c C-x
Call clingo with the current buffer as encoding and some user provided instanceThe Potassco ASP mode is available through the MELPA repository.
This is the recommended way to install the pasp-mode
.
You can either install pasp-mode
by hand with:
M-x package-install [RET] pasp-mode [RET]
or place the following snippet into your Emacs init file:
(unless (package-installed-p 'pasp-mode)
(package-refresh-contents)
(package-install 'pasp-mode))
Download the pasp-mode.el
file from this repository.
Either put it into your emacs load path and call (require 'pasp-mode)
in your init file or load it directly with (load "~/path/to/pasp-mode.el")
Afterwards opening an .lp
file triggers pasp-mode
or
call M-x pasp-mode within an open asp file.
Contributions, via issues, ideas and pull requests, are highly welcome!
Copyright (c) 2017 by Henrik Jürges
Distributed under the GNU General Public License; type C-h C-c to view it.