Skip to content
/ Mastermind Public

Developing Mastermind Game LOGIC using C++ Programming and SAT solver

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

shubham991999/Mastermind

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

8 Commits
21CS60R28_ASSIGNMENT_3(REPORT) .pdf
21CS60R28_ASSIGNMENT_3(REPORT) .pdf
 
 
21CS60R28_Assignment3_Task1.cpp
21CS60R28_Assignment3_Task1.cpp
 
 
21CS60R28_Assignment3_Task2.cpp
21CS60R28_Assignment3_Task2.cpp
 
 
README.md
README.md
 
 
togasat.hpp
togasat.hpp
 
 

Repository files navigation

Mastermind Game

Developed a Mastermind Game Logic using C++ programming and SAT solver.

Instructions for Execution

  1. Compile :

    gcc file_name.c -o file_name

  2. Run :

    ./file_name

About

Developing Mastermind Game LOGIC using C++ Programming and SAT solver

Topics

programming sat-solver propositional-logic

Resources

Readme
Activity

Stars

0 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages