GitHub - fergiedrew/SAT-Reduction: Python program that reduces path on grid problem and generates a DIMACS-format cnf file of an instance of SAT

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
examples		examples
input.txt		input.txt
satreduction.py		satreduction.py

About

Python program that reduces path on grid problem and generates a DIMACS-format cnf file of an instance of SAT

0 stars

1 watching

No releases published