Cmodels
by earl, 6312 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
search
42 active users
- unknown (42)
backlinks (more)
none, yet
recent stores (more)
echo earlZstrainYat|tr ZY @.
