/satprograms

A collection of satisfiability assignment algorithms adapted from Russell and Norvig. Originally written in Sept/Oct 2020 for CS463G at the University of Kentucky. Made repository public in Oct 2020.

Primary LanguagePython

No issues in this repository yet.