Skip to content
/ SAT-Solver Public

AI course HW2, Instructed by Dr. Armin Salimi, Shahid Beheshti University

0 stars 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

ArianJalalian/SAT-Solver

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
__pycache__
__pycache__
 
 
Input.cnf
Input.cnf
 
 
README.md
README.md
 
 
Report.pdf
Report.pdf
 
 
cnf_functions.py
cnf_functions.py
 
 
genetic.py
genetic.py
 
 
initialization.py
initialization.py
 
 
main.py
main.py
 
 
sa.py
sa.py
 
 

Repository files navigation

RTI Solved using simulated anealing and genetic algorithm

works with any cnf, provided cnf must follow the given cnf structure and should be named Input.cnf given cnf should be random 3-SAT instance. run the main.py to see the results

About

AI course HW2, Instructed by Dr. Armin Salimi, Shahid Beheshti University

Topics

python ai genetic-algorithm sat-solver simulated-annealing-algorithm

Resources

Readme
Activity

Stars

0 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages