GitHub - zvadaadam/3SAT

3SAT

Solving 3SAT problems using genetic programming.

Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
cnf		cnf
genetic		genetic
helper		helper
input		input
output		output
scripts		scripts
.gitignore		.gitignore
README.md		README.md
main		main
main.go		main.go