start | find | index | login or register | edit | ||
ASSAT
by earl, 6337 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 backlinks (more) none, yet recent stores (more) echo earlZstrainYat|tr ZY @. |
|
earl.strain.at • esa3 • online for 8692 days • c'est un vanilla site |