start | find | index | login or register | edit
Cmodels
by earl, 6075 days ago
"Cmodels is a system that computes answer sets for disjunctive logic programs containing choice rules, cardinality constraints and weight rules."

- http://www.cs.utexas.edu/users/tag/cmodels.html

See also: Answer Set Programming
powered by vanilla
echo earlZstrainYat|tr ZY @.
earl.strain.at • esa3 • online for 8425 days • c'est un vanilla site