smodels (science/smodels) Add to my watchlist
stable model semantics for logic programsAn 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
Statistics for selected duration
2025-Mar-02 to 2025-Apr-01
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.