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
Displaying statistics for 1,051 users who made submissions during: until

Statistics for selected duration

2024-Apr-27 to 2024-May-27

No stats available for this selection.

Try changing the range of days. Alternatively visit statistics page to have an overall look at the submitted statistics.