Links for smodels
smodels-2.3.0.tar.gz
smodels-2.3.1.tar.gz
smodels-2.3.2.tar.gz