Geeks
mhmdrz-mirdamadi
/
Max-SAT
Max-SAT solver using local search algorithms.
Primary Language
Python
Max-SAT GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
Watchers
mhmdrz-mirdamadi
Isfahan Iran