PACKAGE NAME:  souffle-2.5-x86_64-1_slackdce.txz
PACKAGE MIRROR:  .
PACKAGE LOCATION:  ./development/souffle
PACKAGE SIZE (compressed):  2756 K
PACKAGE SIZE (uncompressed):  14651 K
PACKAGE REQUIRED:  graphviz
PACKAGE CONFLICTS:  
PACKAGE SUGGESTS:  
PACKAGE DESCRIPTION:
souffle: souffle (Souffle is a Datalog language for analyses in Horn clauses.)
souffle:
souffle: Souffle is a variant of Datalog for tool designers crafting analyses
souffle: in Horn clauses. Souffle synthesizes a native parallel C++ program
souffle: from a logic specification.
souffle:
souffle:
souffle:
souffle:
souffle:
souffle: