symex-intro

 1(use-modules (guix packages)
 2             (gnu packages base)
 3             (gnu packages check)
 4             (gnu packages linux)
 5             (gnu packages llvm))
 6
 7(packages->manifest
 8  (list
 9    coreutils
10    clang-16
11    llvm-16
12    gnu-make
13    klee))