Autoguess v1.2.16 — Deployment & Compatibility Fixes

Date: February 24, 2026

This release bundles a series of fixes addressing real-world deployment issues discovered while testing on production Linux servers (Ubuntu x86_64, Python 3.12) and macOS.

Fixes

• Fix CP solver crash from missing shared libraries (v1.2.12, v1.2.15):
  The bundled MiniZinc IDE ships solver binaries (e.g. fzn-cp-sat / OR-Tools) that link against shared libraries in the bundle's lib/ directory. LD_LIBRARY_PATH is now set automatically — but only during the CP solve() call, so it does not interfere with other subprocesses like Graphviz.

• Fix preprocessing crash in pip-installed package (v1.2.13):
  The Macaulay matrix preprocessing step called macaulay.py via a CWD-relative path (core/macaulay.py), which failed when running from any directory other than the project root. Now uses absolute paths and prefers passagemath when available.

• Silence tarfile DeprecationWarning on Python 3.12+ (v1.2.14):
  The MiniZinc installer's tar extraction now passes filter='data' on Python >= 3.12, preventing the warning about upcoming default behavior changes in Python 3.14.

• Improve Graphviz error diagnostics (v1.2.15):
  The graph rendering warning now mentions libpangocairo-1.0-0, which is the most common missing dependency on headless Debian/Ubuntu servers.

• Remove [smt] from [all] extra (v1.2.16):
  z3-solver frequently fails to build from source on platforms without pre-built wheels. pip install "autoguess[all]" now installs CP + Groebner + Gurobi only. SMT solvers can be installed separately:

  pip install z3-solver --only-binary=:all:
  pip install "autoguess[smt]"

Documentation

• Added g++ / build-essential to system dependencies (required for pypblib from python-sat)
• Added libpangocairo-1.0-0 to Graphviz install instructions for Debian/Ubuntu
• Documented --only-binary workaround for z3-solver build failures
• Updated extras table to reflect [all] no longer including [smt]

Upgrade

pip install --upgrade autoguess