Skip to content

zvadaadam/3SAT

BranchesTags

Folders and files

NameName
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
 
 

Repository files navigation

3SAT

Solving 3SAT problems using genetic programming.

About

No description or website provided.

Topics

go golang genetic-algorithm sat-solver sat dimacs 3-sat max-sat max-weighted-sat

Resources

Readme
Activity

Stars

1 star

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

 
 
 

Languages