Command-line tool

klee

brew/klee

Checked 25 Oct 2026, 21:09 UTC · Listing refreshed from Homebrew, winget, npm, Scoop and cargo; npm packages checked against OSV.dev

Symbolic Execution Engine

Website Source

At a glance

Type

Command-line tool

Install on

macOS, Linux

Last checked

25 Oct 2026, 21:09 UTC

Install it

macOS

brew install klee

Linux

brew install klee

Related command-line tools

• form
  Symbolic manipulation system
• symlinks
  Symbolic link maintenance utility
• Ln - Command line Hardlinks
  Create links to files and directories. ntfs hardlinks symbolic-links symlinks file-system junction mountpoint…
• cromwell
  Workflow Execution Engine using Workflow Description Language
• snobol4
  String oriented and symbolic programming language
• lndir
  Create a shadow directory of symbolic links to another directory tree
• gtk+3
  Toolkit for creating graphical user interfaces gtk+-3 gtk+3 gtkplus3 gtk-3 gtk-for-windows-runtime-environment…
• Symlink Creator
  Symlink Creator (Windows package; no description in the winget index) utility symlink symbolic-link mklink

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents