Build 252

Build Information

Date: 2026-05-06
Commit: cb3e99c

Supported Binary Ninja Versions

• dev (build dev)
• 5.1.8005 (build 8005)
• 5.1.8104 (build 8104)
• 5.2.8614 (build 8614)
• 5.2.8722 (build 8722)
• 5.3.9434 (build 9434)
• 5.0.7290 (build 7290)
• 5.0.7486 (build 7486)
• 5.0.7648 (build 7648)

Installation

Option 1 (Recommended): Use the loader plugin which automatically downloads and updates the correct binary for your Binary Ninja version.

Option 2: Manual installation - download the appropriate binary for your platform and Binary Ninja version, then place it in your Binary Ninja plugins directory.

Naming format:

• Stable: NativePredicateSolver-<version>.<ext>
• Dev: NativePredicateSolver-dev.<ext>

Where <ext> is dll (Windows), so (Linux), or dylib (macOS).

Build 251

Build Information

Date: 2026-05-05
Commit: cb3e99c

Supported Binary Ninja Versions

• dev (build dev)
• 5.1.8005 (build 8005)
• 5.1.8104 (build 8104)
• 5.2.8614 (build 8614)
• 5.2.8722 (build 8722)
• 5.3.9434 (build 9434)
• 5.0.7290 (build 7290)
• 5.0.7486 (build 7486)
• 5.0.7648 (build 7648)

Installation

Option 1 (Recommended): Use the loader plugin which automatically downloads and updates the correct binary for your Binary Ninja version.

Option 2: Manual installation - download the appropriate binary for your platform and Binary Ninja version, then place it in your Binary Ninja plugins directory.

Naming format:

• Stable: NativePredicateSolver-<version>.<ext>
• Dev: NativePredicateSolver-dev.<ext>

Where <ext> is dll (Windows), so (Linux), or dylib (macOS).

Build 250

Build Information

Date: 2026-05-04
Commit: cb3e99c

Supported Binary Ninja Versions

• dev (build dev)
• 5.1.8005 (build 8005)
• 5.1.8104 (build 8104)
• 5.2.8614 (build 8614)
• 5.2.8722 (build 8722)
• 5.3.9434 (build 9434)
• 5.0.7290 (build 7290)
• 5.0.7486 (build 7486)
• 5.0.7648 (build 7648)

Installation

Option 1 (Recommended): Use the loader plugin which automatically downloads and updates the correct binary for your Binary Ninja version.

Option 2: Manual installation - download the appropriate binary for your platform and Binary Ninja version, then place it in your Binary Ninja plugins directory.

Naming format:

• Stable: NativePredicateSolver-<version>.<ext>
• Dev: NativePredicateSolver-dev.<ext>

Where <ext> is dll (Windows), so (Linux), or dylib (macOS).

Build 249

Build Information

Date: 2026-05-03
Commit: cb3e99c

Supported Binary Ninja Versions

• dev (build dev)
• 5.1.8005 (build 8005)
• 5.1.8104 (build 8104)
• 5.2.8614 (build 8614)
• 5.2.8722 (build 8722)
• 5.3.9434 (build 9434)
• 5.0.7290 (build 7290)
• 5.0.7486 (build 7486)
• 5.0.7648 (build 7648)

Installation

Option 1 (Recommended): Use the loader plugin which automatically downloads and updates the correct binary for your Binary Ninja version.

Option 2: Manual installation - download the appropriate binary for your platform and Binary Ninja version, then place it in your Binary Ninja plugins directory.

Naming format:

• Stable: NativePredicateSolver-<version>.<ext>
• Dev: NativePredicateSolver-dev.<ext>

Where <ext> is dll (Windows), so (Linux), or dylib (macOS).

Build 248

Build Information

Date: 2026-05-02
Commit: cb3e99c

Supported Binary Ninja Versions

• dev (build dev)
• 5.1.8005 (build 8005)
• 5.1.8104 (build 8104)
• 5.2.8614 (build 8614)
• 5.2.8722 (build 8722)
• 5.3.9434 (build 9434)
• 5.0.7290 (build 7290)
• 5.0.7486 (build 7486)
• 5.0.7648 (build 7648)

Installation

Option 1 (Recommended): Use the loader plugin which automatically downloads and updates the correct binary for your Binary Ninja version.

Option 2: Manual installation - download the appropriate binary for your platform and Binary Ninja version, then place it in your Binary Ninja plugins directory.

Naming format:

• Stable: NativePredicateSolver-<version>.<ext>
• Dev: NativePredicateSolver-dev.<ext>

Where <ext> is dll (Windows), so (Linux), or dylib (macOS).

Build 247

Build Information

Date: 2026-05-01
Commit: cb3e99c

Supported Binary Ninja Versions

• dev (build dev)
• 5.1.8005 (build 8005)
• 5.1.8104 (build 8104)
• 5.2.8614 (build 8614)
• 5.2.8722 (build 8722)
• 5.3.9434 (build 9434)
• 5.0.7290 (build 7290)
• 5.0.7486 (build 7486)
• 5.0.7648 (build 7648)

Installation

Option 1 (Recommended): Use the loader plugin which automatically downloads and updates the correct binary for your Binary Ninja version.

Option 2: Manual installation - download the appropriate binary for your platform and Binary Ninja version, then place it in your Binary Ninja plugins directory.

Naming format:

• Stable: NativePredicateSolver-<version>.<ext>
• Dev: NativePredicateSolver-dev.<ext>

Where <ext> is dll (Windows), so (Linux), or dylib (macOS).

Build 246

Build Information

Date: 2026-04-30
Commit: cb3e99c

Supported Binary Ninja Versions

• dev (build dev)
• 5.1.8005 (build 8005)
• 5.1.8104 (build 8104)
• 5.2.8614 (build 8614)
• 5.2.8722 (build 8722)
• 5.3.9434 (build 9434)
• 5.0.7290 (build 7290)
• 5.0.7486 (build 7486)
• 5.0.7648 (build 7648)

Installation

Option 1 (Recommended): Use the loader plugin which automatically downloads and updates the correct binary for your Binary Ninja version.

Option 2: Manual installation - download the appropriate binary for your platform and Binary Ninja version, then place it in your Binary Ninja plugins directory.

Naming format:

• Stable: NativePredicateSolver-<version>.<ext>
• Dev: NativePredicateSolver-dev.<ext>

Where <ext> is dll (Windows), so (Linux), or dylib (macOS).

Build 245

Build Information

Date: 2026-04-29
Commit: cb3e99c

Supported Binary Ninja Versions

• dev (build dev)
• 5.1.8005 (build 8005)
• 5.1.8104 (build 8104)
• 5.2.8614 (build 8614)
• 5.2.8722 (build 8722)
• 5.3.9434 (build 9434)
• 5.0.7290 (build 7290)
• 5.0.7486 (build 7486)
• 5.0.7648 (build 7648)

Installation

Option 1 (Recommended): Use the loader plugin which automatically downloads and updates the correct binary for your Binary Ninja version.

Option 2: Manual installation - download the appropriate binary for your platform and Binary Ninja version, then place it in your Binary Ninja plugins directory.

Naming format:

• Stable: NativePredicateSolver-<version>.<ext>
• Dev: NativePredicateSolver-dev.<ext>

Where <ext> is dll (Windows), so (Linux), or dylib (macOS).

Build 244

Build Information

Date: 2026-04-28
Commit: cb3e99c

Supported Binary Ninja Versions

• dev (build dev)
• 5.1.8005 (build 8005)
• 5.1.8104 (build 8104)
• 5.2.8614 (build 8614)
• 5.2.8722 (build 8722)
• 5.3.9434 (build 9434)
• 5.0.7290 (build 7290)
• 5.0.7486 (build 7486)
• 5.0.7648 (build 7648)

Installation

Option 1 (Recommended): Use the loader plugin which automatically downloads and updates the correct binary for your Binary Ninja version.

Option 2: Manual installation - download the appropriate binary for your platform and Binary Ninja version, then place it in your Binary Ninja plugins directory.

Naming format:

• Stable: NativePredicateSolver-<version>.<ext>
• Dev: NativePredicateSolver-dev.<ext>

Where <ext> is dll (Windows), so (Linux), or dylib (macOS).

Build 243

Build Information

Date: 2026-04-27
Commit: cb3e99c

Supported Binary Ninja Versions

• dev (build dev)
• 5.1.8005 (build 8005)
• 5.1.8104 (build 8104)
• 5.2.8614 (build 8614)
• 5.2.8722 (build 8722)
• 5.3.9434 (build 9434)
• 5.0.7290 (build 7290)
• 5.0.7486 (build 7486)
• 5.0.7648 (build 7648)

Installation

Option 1 (Recommended): Use the loader plugin which automatically downloads and updates the correct binary for your Binary Ninja version.

Option 2: Manual installation - download the appropriate binary for your platform and Binary Ninja version, then place it in your Binary Ninja plugins directory.

Naming format:

• Stable: NativePredicateSolver-<version>.<ext>
• Dev: NativePredicateSolver-dev.<ext>

Where <ext> is dll (Windows), so (Linux), or dylib (macOS).