dv-solve>=0.2.5
pyucis>=0.1.4
toposort

[:(sys_platform == "linux" and platform_machine == "x86_64") or sys_platform == "darwin"]
pyboolector>=3.2.2

[boolector]
pyboolector>=3.2.2

[docs]
sphinx>=7

[dv-solve]
dv-solve>=0.2.5
