ASSAT
by earl, 6307 days ago
"ASSAT (Answer Sets by SAT solvers) is a system for computing answer sets of a logic program by using [create SAT] solvers. "- http://assat.cs.ust.hk/
See also: Answer Set Programming
search
41 active users
- unknown (41)
backlinks (more)
none, yet
recent stores (more)
echo earlZstrainYat|tr ZY @.
