/usr/bin/souffle

============================================================================
souffle -- A datalog engine.
Usage: souffle [OPTION] FILE.
----------------------------------------------------------------------------
Options:
  -a, --auto-schedule=<FILE>                       Use profile auto-schedule <FILE> for auto-scheduling.
  -c, --compile                                    Generate C++ source code, compile to a binary executable, then run this executable.
  -C, --compile-many                               Generate C++ source code in multiple files, compile to a binary executable, then run this executable.
  -r, --debug-report=<FILE>                        Write HTML debug report to <FILE>.
  -z, --disable-transformers=<TRANSFORMERS>        Disable the given AST transformers.
  -o, --dl-program=<FILE>                          Generate C++ source code, written to <FILE>, and compile this to a binary executable (without executing it).
      --emit-statistics                            Enable collection of statistics for auto-scheduling
  -F, --fact-dir=<DIR>                             Specify directory for fact files.
  -g, --generate=<FILE>                            Generate C++ source code for the given Datalog program and write it to <FILE>. If <FILE> is `-` then stdout is used.
  -G, --generate-many=<DIR>                        Generate C++ source code in multiple files for the given Datalog program and write it to <DIR>.
  -N, --generate-namespace=<NS>                    The namespace of generated C++ source code. Empty name denotes the anonymous namespace.
  -h, --help                                       Display this help message.
  -I, --include-dir=<DIR>                          Specify directory for include files.
      --inline-exclude=<RELATIONS>                 Prevent the given relations from being inlined. Overrides any `inline` qualifiers.
  -j, --jobs=<N>                                   Run interpreter/compiler in parallel using N threads, N=auto for system default.
      --legacy                                     Enable legacy support.
  -l, --libraries=<FILE>                           Specify libraries.
  -L, --library-dir=<DIR>                          Specify directory for library files.
      --live-profile                               Enable live profiling.
  -M, --macro=<MACROS>                             Set macro definitions for the pre-processor
  -m, --magic-transform=<RELATIONS>                Enable magic set transformation changes on the given relations, use '*' for all.
      --magic-transform-exclude=<RELATIONS>        Disable magic set transformation changes on the given relations. Overrides `magic-transform`. Implies `inline-exclude` for the given relations.
      --no-preprocessor                            Do not use a C preprocessor.
  -w, --no-warn                                    Disable warnings.
  -D, --output-dir=<DIR>                           Specify directory for output files. If <DIR> is `-` then stdout is used.
      --parse-errors                               Show parsing errors, if any, then exit.
  -P, --pragma=<OPTIONS>                           Set pragma options.
      --preprocessor=<CMD>                         C preprocessor to use.
  -p, --profile=<FILE>                             Enable profiling, and write profile data to <FILE>.
      --profile-frequency                          Enable the frequency counter in the profiler.
  -t, --provenance=<[ none | explain | explore ]>  Enable provenance instrumentation and interaction.
      --show=<[ <see-list> ]>                      Print selected program information.
                                                   Modes:
                                                   	initial-ast
                                                   	initial-ram
                                                   	parse-errors
                                                   	precedence-graph
                                                   	precedence-graph-text
                                                   	scc-graph
                                                   	scc-graph-text
                                                   	transformed-ast
                                                   	transformed-ram
                                                   	type-analysis
  -s, --swig=<LANG>                                Generate SWIG interface for given language. The values <LANG> accepts is java and python.
  -v, --verbose                                    Verbose output.
      --version                                    Version.
  -W, --warn=<WARN>                                Enable a warning.
      --wno=<WARN>                                 Disable a specific warning.
----------------------------------------------------------------------------
Version: 2.5 (2.5)
Word size: 32 bits
Options enabled: ffi openmp ncurses sqlite zlib
----------------------------------------------------------------------------
Copyright (c) 2016-25 The Souffle Developers.
Copyright (c) 2013-16 Oracle and/or its affiliates.
All rights reserved.
============================================================================