onto-einstein-riddle

Edit Package onto-einstein-riddle

A formulation of the Einstein's Riddle which can be easily solved by a reasoner.

Refresh
Refresh
Source Files
Filename Size Changed
onto-einstein-riddle-2010.tar.bz 0000002828 2.76 KB
onto-einstein-riddle.spec 0000000836 836 Bytes
Latest Revision
Tiago Brito's avatar Tiago Brito (tiagolb_) committed (revision 19)
Comments 0
openSUSE Build Service is sponsored by