goldsborough

#!/usr/bin/env python3
# -- coding: utf-8 -*-

"""Module for the Davis-Putnam-Logemann-Loveland (DPLL) Algorithm."""

from __future__ import print_function
from __future__ import unicode_literals

import re
import sys