Search results

Investigate if sample code can be made compatible with Doop extractor

Status: Open.

#22 In oracle/souffle;

· nkeynes-oracle opened on Jul 3, 2017

Behaviour of souffle with no output relations is not user friendly

Status: Open.

#21 In oracle/souffle;

· nkeynes-oracle opened on Jul 3, 2017

Please check the format of souffle-compile's input file

Status: Open.

#17 In oracle/souffle;

· Neuromancer42 opened on May 11, 2017

Could I have a performance report comparing with bddbddb, z3 or etc ?

Status: Open.

#16 In oracle/souffle;

· hotpeperoncino opened on Mar 2, 2017

Unable to build on older platforms (e.g. Ubuntu 12.04)

Status: Open.

#9 In oracle/souffle;

· nkeynes-oracle opened on Sep 2, 2016