Description
Toolkit to provide interface for various SAT (without optional dependancy py-aiger-cnf)
package
python3.11-python-sat
Metadata
Version
0.1.7.dev1License
Homepage
https://github.com/pysathq/pysatMaintainers (1)
Executables (9)
Show all bin/mcsls.pybin/musx.pybin/lbx.py
bin/mcsls.pybin/musx.pybin/lbx.pybin/lsu.pybin/rc2.pybin/models.pybin/optux.pybin/fm.pybin/genhard.py
Platforms (33)
Darwin
FreeBSD
Linux
Windows
Show all
aarch64-darwinaarch64-freebsdaarch64-linuxaarch64-windowsarmv5tel-linuxarmv6l-linuxarmv7a-darwinarmv7a-linuxarmv7l-linuxi686-cygwini686-darwini686-freebsdi686-linuxi686-windowsloongarch64-linuxm68k-linuxmicroblaze-linuxmicroblazeel-linuxmips-linuxmips64-linuxmips64el-linuxmipsel-linuxpowerpc64-linuxpowerpc64le-linuxriscv32-linuxriscv64-linuxs390-linuxs390x-linuxx86_64-cygwinx86_64-darwinx86_64-freebsdx86_64-linuxx86_64-windows