Smodels

GPTKB entity

Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:software
answer set programming system
gptkbp:describes Smodels is a system for answer set programming and computing stable models of logic programs.
gptkbp:developer gptkb:Patrik_Simons
gptkb:Ilkka_Niemelä
gptkbp:firstReleased 1998
gptkbp:genre logic programming
https://www.w3.org/2000/01/rdf-schema#label Smodels
gptkbp:latestReleaseVersion 2003
2.34
gptkbp:license gptkb:GNU_General_Public_License
gptkbp:operatingSystem Cross-platform
gptkbp:programmingLanguage gptkb:C++
gptkbp:website http://www.tcs.hut.fi/Software/smodels/
gptkbp:bfsParent gptkb:Answer_Set_Programming
gptkbp:bfsLayer 7