piwheels

satyrn

SAT Solver Interface

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install satyrn

Dependencies

• pybind11

Releases

Version	Released	Bullseye Python 3.9	Bookworm Python 3.11	Trixie Python 3.13	Files
0.3.18	2019-07-19
satyrn-0.3.18-cp39-cp39-linux_armv6l.whl (893 KB) satyrn-0.3.18-cp39-cp39-linux_armv7l.whl (893 KB) satyrn-0.3.18-cp34-cp34m-linux_armv6l.whl (646 KB) satyrn-0.3.18-cp34-cp34m-linux_armv7l.whl (646 KB) satyrn-0.3.18-cp37-cp37m-linux_armv7l.whl (876 KB) satyrn-0.3.18-cp37-cp37m-linux_armv6l.whl (876 KB)
0.3.17	2019-07-19
0.3.16	2019-07-19
0.3.15	2019-07-19
satyrn-0.3.15-cp39-cp39-linux_armv6l.whl (949 KB) satyrn-0.3.15-cp39-cp39-linux_armv7l.whl (949 KB)
0.3.14	2019-07-19
satyrn-0.3.14-cp39-cp39-linux_armv6l.whl (949 KB) satyrn-0.3.14-cp39-cp39-linux_armv7l.whl (949 KB) satyrn-0.3.14-cp311-cp311-linux_armv6l.whl (1 MB) satyrn-0.3.14-cp311-cp311-linux_armv7l.whl (1 MB) satyrn-0.3.14-cp313-cp313-linux_armv6l.whl (1 MB) satyrn-0.3.14-cp313-cp313-linux_armv7l.whl (1 MB)
0.3.13	2019-07-19
satyrn-0.3.13-cp39-cp39-linux_armv6l.whl (949 KB) satyrn-0.3.13-cp39-cp39-linux_armv7l.whl (949 KB)
0.3.12	2019-07-19
satyrn-0.3.12-cp39-cp39-linux_armv6l.whl (949 KB) satyrn-0.3.12-cp39-cp39-linux_armv7l.whl (949 KB)
0.3.11	2019-07-19
satyrn-0.3.11-cp39-cp39-linux_armv6l.whl (949 KB) satyrn-0.3.11-cp39-cp39-linux_armv7l.whl (949 KB)
0.3.10	2019-07-19
0.3.9	2019-07-19
0.3.8	2019-07-19
0.3.7	2019-07-19
0.3.6	2019-07-19
satyrn-0.3.6-cp39-cp39-linux_armv6l.whl (949 KB) satyrn-0.3.6-cp39-cp39-linux_armv7l.whl (949 KB) satyrn-0.3.6-cp311-cp311-linux_armv6l.whl (1 MB) satyrn-0.3.6-cp311-cp311-linux_armv7l.whl (1 MB) satyrn-0.3.6-cp313-cp313-linux_armv6l.whl (1 MB) satyrn-0.3.6-cp313-cp313-linux_armv7l.whl (1 MB)
0.3.5	2019-07-19
satyrn-0.3.5-cp39-cp39-linux_armv6l.whl (949 KB) satyrn-0.3.5-cp39-cp39-linux_armv7l.whl (949 KB) satyrn-0.3.5-cp311-cp311-linux_armv6l.whl (1 MB) satyrn-0.3.5-cp311-cp311-linux_armv7l.whl (1 MB) satyrn-0.3.5-cp313-cp313-linux_armv6l.whl (1 MB) satyrn-0.3.5-cp313-cp313-linux_armv7l.whl (1 MB)
0.3.4	2019-07-11
satyrn-0.3.4-cp39-cp39-linux_armv6l.whl (949 KB) satyrn-0.3.4-cp39-cp39-linux_armv7l.whl (949 KB) satyrn-0.3.4-cp311-cp311-linux_armv6l.whl (1 MB) satyrn-0.3.4-cp311-cp311-linux_armv7l.whl (1 MB) satyrn-0.3.4-cp313-cp313-linux_armv6l.whl (1 MB) satyrn-0.3.4-cp313-cp313-linux_armv7l.whl (1 MB)
0.3.3	2019-07-11
satyrn-0.3.3-cp39-cp39-linux_armv6l.whl (948 KB) satyrn-0.3.3-cp39-cp39-linux_armv7l.whl (948 KB) satyrn-0.3.3-cp311-cp311-linux_armv6l.whl (1 MB) satyrn-0.3.3-cp311-cp311-linux_armv7l.whl (1 MB) satyrn-0.3.3-cp313-cp313-linux_armv6l.whl (1 MB) satyrn-0.3.3-cp313-cp313-linux_armv7l.whl (1 MB)
0.3.2	2019-07-10
satyrn-0.3.2-cp39-cp39-linux_armv6l.whl (938 KB) satyrn-0.3.2-cp39-cp39-linux_armv7l.whl (938 KB) satyrn-0.3.2-cp311-cp311-linux_armv6l.whl (1 MB) satyrn-0.3.2-cp311-cp311-linux_armv7l.whl (1 MB) satyrn-0.3.2-cp313-cp313-linux_armv6l.whl (1 MB) satyrn-0.3.2-cp313-cp313-linux_armv7l.whl (1 MB)
0.3.1	2019-07-10
0.3.0	2019-07-10
satyrn-0.3.0-cp39-cp39-linux_armv6l.whl (1 MB) satyrn-0.3.0-cp39-cp39-linux_armv7l.whl (1 MB)
0.2.1	2019-07-10
0.2.0	2019-07-10
satyrn-0.2.0-cp39-cp39-linux_armv6l.whl (1 MB) satyrn-0.2.0-cp39-cp39-linux_armv7l.whl (1 MB)
0.1.2	2019-07-10
satyrn-0.1.2-cp39-cp39-linux_armv6l.whl (969 KB) satyrn-0.1.2-cp39-cp39-linux_armv7l.whl (969 KB)
0.1.1	2019-07-10
0.1	2019-07-10

Issues with this package?

• Search issues for this package
• Package or version missing? Open a new issue
• Something else? Open a new issue