Python package that provides implementations for QUBO models related to SAT solving.
Project description
Reserved for upload after paper review
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
satqubolib-0.1.0.tar.gz
(10.9 kB
view hashes)
Built Distribution
satqubolib-0.1.0-py3-none-any.whl
(11.6 kB
view hashes)
Close
Hashes for satqubolib-0.1.0-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 92752658a49026066a6b344d801553bbab6e57c55b176633a83bca4a1aafadd3 |
|
MD5 | 64131151b80f596e35ff61cc0f12760e |
|
BLAKE2b-256 | 5954edd3a2b922a1a393a87eb8d6030bde26fe7140f368c70a5cf4b407b53617 |