smodels (science/smodels) Add to my watchlist

stable model semantics for logic programs

An implementation of the stable model semantics for logic programs. Smodels can be used either as a C++-library that can be called from user programs or as a stand-alone program together with a suitable front-end. The main front-end is lparse.

Version: 2.34 License: GPL GitHub
Displaying statistics for 893 users who made submissions during: until

Statistics for selected duration

2023-Aug-22 to 2023-Sep-21

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.