sudoku_solver_with_SAT

university-project university

Projeto realizado para matéria de Métodos Formais - O programa deve receber um arquivo de entrada que represente a situação inicial de um jogo de sudoku e, à partir dele, gerar uma fórmula lógica para servir de entrada ao programa "zchaff", resolvedor SAT

How to download and setup sudoku_solver_with_SAT

Open terminal and run command

git clone https://github.com/daniloaleixo/sudoku_solver_with_SAT.git

git clone is used to create a copy or clone of sudoku_solver_with_SAT repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with sudoku_solver_with_SAT https://github.com/daniloaleixo/sudoku_solver_with_SAT/archive/master.zip

Or simply clone sudoku_solver_with_SAT with SSH

[email protected]:daniloaleixo/sudoku_solver_with_SAT.git

If you have some problems with sudoku_solver_with_SAT

You may open issue on sudoku_solver_with_SAT support forum (system) here: https://github.com/daniloaleixo/sudoku_solver_with_SAT/issues

Similar to sudoku_solver_with_SAT repositories

Here you may see sudoku_solver_with_SAT alternatives and analogs

notes-to-cs-freshmen-from-the-future robotics-coursework swad-core edx-dl vvedenie-mashinnoe-obuchenie openct-android uPortal CS-Univ-Wiki Learn-Something-Every-Day Letters NI-PYT Studijne-materialy-FIIT so-you-want-an-internship TUM.sexy HagenbergThesis PittAPI university-cs-resources university-news-notifier Campus-iOS getting-started beamer-themes dispense-info-univr toronto.university SoftUni-Software-Engineering TigerOS nyc-infosec course noxim mathifold Metaprogramming