Name		Name	Last commit message	Last commit date
Latest commit History 45 Commits
cs_3sat		cs_3sat
meta3sat		meta3sat
projekt		projekt
uvodna_prezentacija		uvodna_prezentacija
.gitignore		.gitignore
README.md		README.md
max-sat-phil.pdf		max-sat-phil.pdf
seattle_maxsat.pdf		seattle_maxsat.pdf
struktura.md		struktura.md

Repository files navigation

meta-projekt

Heuristic algorithm(c/c++) for 3SAT and MAX-SAT problem

About

Heuristic algorithm(c/c++) for 3SAT and MAX-SAT

Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

Languages