smodels packages - Repology

Versions Packages Information History Related Badges Report

2 package(s) known

AUR

smodels

2.34 (2.34-1)

Summary:
Implementation of the stable model semantics for logic programs
Maintainer:
- luker88@aur
License:
- GPL2
Link(s):

smodels

2.34

Summary:
stable model semantics for logic programs
Maintainers:
- snc@macports
- nerdling@github
Category:
- science
License:
- GPL
Link(s):