/usr/share/Yap/clpbn/examples/ is in yap 6.2.2-6+b2.
This file is owned by root:root, with mode 0o755.
File | Mime Type | Owner | Mode | Size |
---|---|---|---|---|
..
|
||||
/usr/share/Yap/clpbn/examples/School/
|
root:root | 0o755 | ||
/usr/share/Yap/clpbn/examples/School/README
|
text/plain | root:root | 0o644 | 1.3 KB |
/usr/share/Yap/clpbn/examples/School/evidence_128.yap
|
text/plain | root:root | 0o644 | 390 bytes |
/usr/share/Yap/clpbn/examples/School/schema.yap
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/Yap/clpbn/examples/School/school_128.yap
|
text/plain | root:root | 0o644 | 497.8 KB |
/usr/share/Yap/clpbn/examples/School/school_32.yap
|
text/plain | root:root | 0o644 | 29.0 KB |
/usr/share/Yap/clpbn/examples/School/school_64.yap
|
text/plain | root:root | 0o644 | 118.7 KB |
/usr/share/Yap/clpbn/examples/School/tables.yap
|
text/plain | root:root | 0o644 | 1.2 KB |
/usr/share/Yap/clpbn/examples/cg.yap
|
text/plain | root:root | 0o644 | 584 bytes |
/usr/share/Yap/clpbn/examples/sprinkler.yap
|
text/plain | root:root | 0o644 | 431 bytes |