SAT

genetic programming with detailed paramaters study

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
GA3SAT		GA3SAT
SATGenerator		SATGenerator
Statistics		Statistics
first part instances		first part instances
instances		instances
solution		solution
time		time
.DS_Store		.DS_Store
README.md		README.md
generate.sh		generate.sh
run.sh		run.sh

Provide feedback