Giters
Groszczu
/
numbrix
Numbrix puzzle SAT encoding
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
2
Watchers:
1
Issues:
0
Forks:
0
sat-encodings
pysat
numbrix
This repository is not active
About
Numbrix puzzle SAT encoding
sat-encodings
pysat
numbrix
Languages
Language:
Python
100.0%