PyPI page
Home page
Author:
Hashberg
Summary:
A SAT solver based on relational network contraction.
Latest version:
0.1.0
Required dependencies:
hashcons
|
numpy
|
opt_einsum
|
typing-validation
|
xxhash
Downloads last day:
0
Downloads last week:
17
Downloads last month:
20