GitHub - Shashank-N-S/3SAT-Problem: An artificial Intelligence based solution for the Boolean Satisfaction Problem

Shashank-N-S / 3SAT-Problem Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

An artificial Intelligence based solution for the Boolean Satisfaction Problem

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
.gitignore		.gitignore
3sat.pptx		3sat.pptx
3sat.py		3sat.py
README.txt		README.txt
example.data		example.data
sat.cpython-37.pyc		sat.cpython-37.pyc
sat.py		sat.py
simulated_annealing.cpython-37.pyc		simulated_annealing.cpython-37.pyc
simulated_annealing.py		simulated_annealing.py

Repository files navigation

Usage: 
	run 3sat.py

The code runs and finds the most probable solutions and finds if the output is true or false.
The code then shows the most probable solution.
simulated annealing: simulated_annealing.py
SAT problem creation: sat.py
3SAT prolem solution: 3sat.py