modelparameters.sympy.logic.utilities package

Submodules

modelparameters.sympy.logic.utilities.dimacs module

For reading in DIMACS file format

www.cs.ubc.ca/~hoos/SATLIB/Benchmarks/SAT/satformat.ps

modelparameters.sympy.logic.utilities.dimacs.load(s)

Loads a boolean expression from a string.

Examples

>>> from .dimacs import load
>>> load('1')
cnf_1
>>> load('1 2')
cnf_1 | cnf_2
>>> load('1 \n 2')
cnf_1 & cnf_2
>>> load('1 2 \n 3')
cnf_3 & (cnf_1 | cnf_2)

modelparameters.sympy.logic.utilities.dimacs.load_file(location)

Loads a boolean expression from a file.

Module contents