Davis-Putnum-Algorithm Electronic Design Automation Tool

General info

This project is an Implemantation of Net Equivalence Satifiabilty. Miter Circuit is created to check the circuits equivalency

Project is created with:

To run this project, install it locally using python

Name		Name	Last commit message	Last commit date
Latest commit History 15 Commits
.github/workflows		.github/workflows
images		images
Implmentation of Net Equivalence (SAT).py		Implmentation of Net Equivalence (SAT).py
README.md		README.md