Giters
zvadaadam
/
3SAT
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
1
Watchers:
1
Issues:
0
Forks:
0
sat
sat-solver
dimacs
golang
go
genetic-algorithm
max-sat
max-weighted-sat
3-sat
3SAT
Solving 3SAT problems using genetic programming.
About
sat
sat-solver
dimacs
golang
go
genetic-algorithm
max-sat
max-weighted-sat
3-sat
Languages
Language:
Python
40.0%
Language:
Go
37.3%
Language:
C
15.6%
Language:
Shell
7.2%