Skip to content
/ ddSMT Public
forked from ddsmt/ddSMT

A delta debugger for SMT benchmarks in SMT-LIB v2.

License

Notifications You must be signed in to change notification settings

nafur/ddSMT

This branch is 51 commits behind ddsmt/ddSMT:master.

Folders and files

NameName
Last commit message
Last commit date

Latest commit

c191286 · May 14, 2021
Apr 27, 2021
Feb 10, 2021
May 14, 2021
Apr 28, 2021
Feb 17, 2021
Jan 21, 2021
Jan 6, 2021
Apr 28, 2021
Jan 6, 2021
Apr 28, 2021
Feb 10, 2021
Apr 28, 2021
Jan 6, 2021
Feb 10, 2021

Repository files navigation

GitHub Workflow Status Read the Docs PyPI PyPI - Python Version PyPI - License

ddSMT: Delta Debugging for SMT-LIBv2

ddSMT is a delta debugger for input in the SMT-LIB language and its dialects and extensions. It serves as an input minimizer for SMT-LIB(-like) input that triggers unwanted behavior for a given command. Noteworthy examples for supported extensions of the SMT-LIB language are the SyGuS input format and the extension for encoding separation logic problems. For more details on the SMT-LIB language, see http://www.smtlib.org.

ddSMT is implemented in Python 3 and developed on a Linux OS.

ddSMT is free software released under the GPLv3. You should have received a copy of the GNU General Public License along with ddSMT (see file LICENSE). If not, see http://www.gnu.org/licenses/.

Requirements:

Documentation:

Documentation for ddSMT is available at https://ddsmt.readthedocs.io.

About

A delta debugger for SMT benchmarks in SMT-LIB v2.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Python 94.6%
  • SMT 4.8%
  • Shell 0.6%