MCPcopy Index your code
hub / github.com/TheAlgorithms/Python / davis_putnam_logemann_loveland.py

File davis_putnam_logemann_loveland.py

other/davis_putnam_logemann_loveland.py:None–None  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

1#!/usr/bin/env python3
2
3"""
4Davis-Putnam-Logemann-Loveland (DPLL) algorithm is a complete, backtracking-based

Callers

nothing calls this directly

Calls 3

generate_formulaFunction · 0.85
generate_parametersFunction · 0.85
dpll_algorithmFunction · 0.85

Tested by

no test coverage detected