start | find | index | login or register | edit
MINS
by earl, 4921 days ago
MINS is not SiLRI

"MINS is a reasoner for Datalog programs with negation and function symbols. MINS supports the Well-Founded Semantics. MINS is based on SiLRI."

People: [create Holger Lausen], [create Uwe Keller], [create Darko Anicic]

- http://dev1.deri.at/mins/
powered by vanilla
echo earlZstrainYat|tr ZY @.
earl.strain.at • esa3 • online for 6774 days • c'est un vanilla site