python-sat[aiger,pblib]
pysmt
z3-solver
cvc5
pyboolector
graphviz
dot2tex

[all]
autoguess[cp,groebner,gurobi]

[cp]
minizinc>=0.9.0

[dev]
pytest
build
twine

[groebner]
passagemath-standard>=10.4

[gurobi]
gurobipy>=10.0
