Satisfiability solver

A satisfiability solver using the classical Davis-Putnam algorithm.

Version 1.0.0 (3.81 KB)
1.5K Downloads
(5)
1 Sep 2016
Download

  • Install in MATLAB

    Requires R2026b and later. Learn more
Download

  • Install in MATLAB

    Requires R2026b and later. Learn more

You are now following this Submission

Cite As

Zhi Han (2026). Satisfiability solver (https://in.mathworks.com/matlabcentral/fileexchange/22284-satisfiability-solver), MATLAB Central File Exchange. Retrieved .

Categories

Find more on 1-D Partial Differential Equations in Help Center and MATLAB Answers

General Information

MATLAB Release Compatibility

  • Compatible with any release

Platform Compatibility

  • Windows
  • macOS
  • Linux
Open in new tab
Version Published Release Notes
1.0.0

Updated license
Download

  • Install in MATLAB

    Requires R2026b and later. Learn more
1.0.0-0

Download

  • Install in MATLAB

    Requires R2026b and later. Learn more