[Xsb-commits] SF.net SVN: XSB commit:[7817] trunk/mttests/benches/anssub-benches/ randgraph.P

[<ts...@us...>]

Revision: 7817
          http://sourceforge.net/p/xsb/src/7817
Author:   tswift
Date:     2013-10-18 22:30:14 +0000 (Fri, 18 Oct 2013)
Log Message:
-----------
Random properties.

Modified Paths:
--------------
    trunk/mttests/benches/anssub-benches/randgraph.P