start | find | index | login or register | edit
Smodels
by earl, 6953 days ago
An Answer Set Programming system developed by [create Patrik Simons] while at the Helsinki University of Technology.

- http://www.tcs.hut.fi/Software/smodels/
- http://www.uni-koblenz.de/ag-ki/LP/system.smodels.html

search

6 active users

backlinks (more)

recent stores (more)

powered by vanilla
echo earlZstrainYat|tr ZY @.
earl.strain.at • esa3 • online for 8450 days • c'est un vanilla site