smodels-2.33.zip Download

Description:

The program smodels is an implementation of the stable model semantics for logic programs (answer set programming).

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.

Compiled with Haiku (Revision 35752) GCC 4.

Submitted On:

07 Mar 2010

Submitted By:

Max Max (Max)

Submitted On:

07 Mar 2010

File Size:

57.86 Kb

Downloads:

42

License:

GPL

File HomePage:

Click to visit site

Rating:

Total Votes:0

Please register to post comments