This repository has been archived by the owner on Oct 15, 2021. It is now read-only.

seker212 / SI_Lab_Sem6 Public archive

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

Slitherlink Puzzle interpreting as a SAT Problem

1 star 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 37 Commits
matrixes		matrixes
src		src
tests		tests
.gitignore		.gitignore
README.md		README.md
info.txt		info.txt

Repository files navigation

Sztuczna Inteligencja - Laboratorium

About

Slitherlink Puzzle interpreting as a SAT Problem

university-project python3 artificial-intelligence sat boolean-satisfiability pysat

Report repository

Contributors 3

Languages

Python 100.0%