lparse (science/lparse) Add to my watchlist

prepare variable-free programs for smodels

Smodels works with variable-free programs that are quite cumbersome to generate by hand. Lparse is a front-end that adds variables (and a lot of other stuff) to the accepted language and generates a variable-free simple logic program that can be given to smodels. Lparse also implements several other semantics (classical negation, partial stable models) by translating them into normal logic programs.

Version: 1.1.2 License: GPL GitHub
Maintainers nerdling
Categories science math
Homepage http://www.tcs.hut.fi/Software/smodels
Platforms darwin
  • universal (Build for multiple architectures)

"lparse" depends on

build (2)

Ports that depend on "lparse"

No ports

Port Health:

Loading Port Health

Installations (30 days)


Requested Installations (30 days)