start | find | index | login or register | edit
ASSAT
by earl, 6070 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
powered by vanilla
echo earlZstrainYat|tr ZY @.
earl.strain.at • esa3 • online for 8425 days • c'est un vanilla site